Minimize space around %

diff --git a/compile.php b/compile.php
index 56e003a9e4ec9a080b608565fee741d266e9d430..b3ca074d8a6e847d7edaa06ba7a5a4223950ca19 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -145,7 +145,7 @@ function php_shrink($input) {
                $short_variables[$key] = short_identifier($number, $chars); // could use also numbers and \x7f-\xff
        }
        
-       $set = array_flip(preg_split('//', '!"#$&\'()*+,-./:;<=>?@[\]^`{|}'));
+       $set = array_flip(preg_split('//', '!"#$%&\'()*+,-./:;<=>?@[\]^`{|}'));
        $space = '';
        $output = '';
        $in_echo = false;