From 0f74c2904aadfccbd3b9c100037f00a355915c79 Mon Sep 17 00:00:00 2001 From: lexxai Date: Sat, 4 Dec 2021 09:59:41 +0200 Subject: [PATCH] Shrink css in plugins/jqueryui/themes (#8337) --- bin/cssshrink.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/cssshrink.sh b/bin/cssshrink.sh index 91861264a..4fa5dd4f3 100755 --- a/bin/cssshrink.sh +++ b/bin/cssshrink.sh @@ -26,7 +26,7 @@ if [ $# -gt 0 ]; then exit fi -DIRS="$PWD/../skins/* $PWD/../plugins/* $PWD/../plugins/*/skins/*" +DIRS="$PWD/../skins/* $PWD/../plugins/* $PWD/../plugins/*/skins/* $PWD/../plugins/*/themes/*" # default: compress application scripts for dir in $DIRS; do for file in $dir/*.css; do