Remove spaces and comments can be achieved by php_strip_whitespace() but 2% slim...

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

diff --git a/_compile.php b/_compile.php
index 55e223a3f3fd2f55467af30b710aa6d8f6281bc0..5be824eebc6f1c8337241f4c7cfec1078b4ea384 100644 (file)
--- a/_compile.php
+++ b/_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";