From 6bb1401d2aa200ea1c296e1578a54379e9a3a4a3 Mon Sep 17 00:00:00 2001 From: jakubvrana Date: Mon, 1 Jun 2009 16:20:06 +0000 Subject: [PATCH] Remove ?>\n$return" . (in_array($tokens[count($tokens) - 1][0], array(T_CLOSE_TAG, T_INLINE_HTML), true) ? "\n?\$~", '', $return); - if (substr_count($return, "") && !$match[4]) { - $return .= "\n$return"; - } - return $return; } function short_identifier($number, $chars) { @@ -165,7 +155,8 @@ if ($_SERVER["argc"] > 1) { $filename = "phpMinAdmin" . ($_COOKIE["lang"] ? "-$_COOKIE[lang]" : "") . ".php"; $file = file_get_contents(dirname(__FILE__) . "/index.php"); -$file = preg_replace_callback('~(<\\?php)?\\s*(include|require) "([^"]*)";(\\s*\\?>)?~', 'put_file', $file); +$file = preg_replace_callback('~\\b(include|require) "([^"]*)";~', 'put_file', $file); +$file = preg_replace("~<\\?php\\s*\\?>|\\?>\n?<\\?php~", '', $file); $file = preg_replace("~if \\(isset\\(\\\$_SESSION\\[\"coverage.*\n}\n| && !isset\\(\\\$_SESSION\\[\"coverage\"\\]\\)~sU", '', $file); if ($_COOKIE["lang"]) { $file = preg_replace_callback("~(<\\?php\\s*echo )?lang\\('((?:[^\\\\']+|\\\\.)*)'([,)])(;\\s*\\?>)?~s", 'remove_lang', $file);