Remove spaces and comments can be achieved by php_strip_whitespace() but 2% slim doesn't outweight the resulting mess

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@79 7c3ca157-0c34-0410-bff1-cbf682f78f5c

_compile.php

@@ -40,6 +40,5 @@ if ($_SESSION["lang"]) {
 	$file = str_replace("<?php switch_lang(); ?>\n", "", $file);
 	$file = str_replace("<?php echo get_lang(); ?>", $_SESSION["lang"], $file);
 }
-//! remove spaces and comments
 file_put_contents($filename, $file);
 echo "$filename created.\n";