mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-07 23:27:17 +02:00
Code Issues Releases Wiki Activity

Minimize space around %

Browse Source
This commit is contained in:
Jakub Vrana
2012-09-03 15:03:55 -07:00
parent 8db73ad7ea
commit 541561be4d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile.php
View File

@@ -145,7 +145,7 @@ function php_shrink($input) {
$short_variables[$key] = short_identifier($number, $chars); // could use also numbers and \x7f-\xff $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 = ''; $space = '';
$output = ''; $output = '';
$in_echo = false; $in_echo = false;