From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Mon, 9 Jul 2007 12:15:22 +0000 (+0000)
Subject: Remove spaces and comments can be achieved by php_strip_whitespace() but 2% slim... 
X-Git-Tag: v3.0.0~1427
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=7427691286ecc06c3e2b4b4aec05f78dba05d111;p=adminer.git

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
---

diff --git a/_compile.php b/_compile.php
index 55e223a3..5be824ee 100644
--- 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";