diff --git a/compile.php b/compile.php index f1b48a0e..3ebf1677 100644 --- a/compile.php +++ b/compile.php @@ -76,7 +76,7 @@ function short_identifier($number, $chars) { return $return; } -// based on Dgx's PHP shrinker +// based on http://latrine.dgx.cz/jak-zredukovat-php-skripty function php_shrink($input) { $special_variables = array_flip(array('$this', '$GLOBALS', '$_GET', '$_POST', '$_FILES', '$_COOKIE', '$_SESSION', '$_SERVER')); static $short_variables = array();