2007-07-02 05:51:26 +00:00
|
|
|
<?php
|
2007-07-05 07:34:42 +00:00
|
|
|
function remove_lang($match) {
|
2007-07-05 10:46:44 +00:00
|
|
|
$s = lang(strtr($match[2], array("\\'" => "'", "\\\\" => "\\")));
|
|
|
|
return ($match[1] && $match[3] ? $s : "$match[1]'" . addcslashes($s, "\\'") . "'$match[3]");
|
2007-07-05 07:34:42 +00:00
|
|
|
}
|
|
|
|
|
2007-07-02 05:51:26 +00:00
|
|
|
function put_file($match) {
|
|
|
|
$return = file_get_contents($match[4]);
|
2007-07-05 13:23:39 +00:00
|
|
|
$return = preg_replace("~\\?>\n?\$~", '', $return);
|
|
|
|
if (substr_count($return, "<?php") <= substr_count($return, "?>") && !$match[5]) {
|
2007-07-02 05:51:26 +00:00
|
|
|
$return .= "<?php\n";
|
|
|
|
}
|
|
|
|
$return = preg_replace('~^<\\?php\\s+~', '', $return, 1, $count);
|
2007-07-05 13:23:39 +00:00
|
|
|
if ($count) {
|
|
|
|
$return = "\n$return";
|
|
|
|
} elseif (!$match[1]) {
|
2007-07-02 05:51:26 +00:00
|
|
|
$return = "?>\n$return";
|
|
|
|
}
|
|
|
|
return $return;
|
|
|
|
}
|
|
|
|
|
2007-07-05 07:34:42 +00:00
|
|
|
error_reporting(E_ALL & ~E_NOTICE);
|
2007-07-05 10:46:44 +00:00
|
|
|
if ($_SERVER["argc"] > 1) {
|
|
|
|
include "./lang.inc.php";
|
|
|
|
if ($_SERVER["argc"] != 2 || !in_array($_SERVER["argv"][1], lang())) {
|
2007-07-05 13:32:01 +00:00
|
|
|
echo "Usage: php _compile.php [lang]\nPurpose: Compile phpMinAdmin[-lang].php from index.php.\n";
|
2007-07-05 10:46:44 +00:00
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
$_SESSION["lang"] = $_SERVER["argv"][1];
|
|
|
|
}
|
|
|
|
$filename = "phpMinAdmin.php";
|
2007-07-02 05:51:26 +00:00
|
|
|
$file = file_get_contents("index.php");
|
2007-07-05 10:46:44 +00:00
|
|
|
if ($_SESSION["lang"]) {
|
|
|
|
$filename = "phpMinAdmin-$_SESSION[lang].php";
|
2007-07-05 07:34:42 +00:00
|
|
|
$file = str_replace("include \"./lang.inc.php\";\n", "", $file);
|
|
|
|
}
|
2007-07-05 13:23:39 +00:00
|
|
|
$file = preg_replace_callback('~(<\\?php)?\\s*(include|require)(_once)? "([^"]*)";(\\s*\\?>)?~', 'put_file', $file);
|
2007-07-05 10:46:44 +00:00
|
|
|
if ($_SESSION["lang"]) {
|
|
|
|
$file = preg_replace_callback("~(<\\?php\\s*echo )?lang\\('((?:[^\\\\']*|\\\\.)+)'\\)(;\\s*\\?>)?~s", 'remove_lang', $file);
|
|
|
|
$file = str_replace("<?php switch_lang(); ?>\n", "", $file);
|
2007-07-05 07:34:42 +00:00
|
|
|
}
|
2007-07-02 05:51:26 +00:00
|
|
|
//! remove spaces and comments
|
2007-07-05 10:46:44 +00:00
|
|
|
file_put_contents($filename, $file);
|
|
|
|
echo "$filename created.\n";
|