From 86bb5da465a055a7f37fa42fc3bc2b9e3065b7f3 Mon Sep 17 00:00:00 2001 From: jakubvrana Date: Fri, 23 Apr 2010 23:53:07 +0000 Subject: [PATCH] Use version without -dev git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@1492 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- compile.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compile.php b/compile.php index 230dfe79..6615e4ca 100644 --- a/compile.php +++ b/compile.php @@ -230,7 +230,7 @@ foreach (array("adminer", "editor") as $project) { $file = preg_replace("~<\\?php\\s*\\?>\n?|\\?>\n?<\\?php~", '', $file); $file = php_shrink($file); - $filename = $project . ($DRIVER ? "-$DRIVER" : "") . ($_SESSION["lang"] ? "-$_SESSION[lang]" : "") . ".php"; // . "-$VERSION" + $filename = $project . (preg_match('~-dev$~', $VERSION) ? "" : "-$VERSION") . ($DRIVER ? "-$DRIVER" : "") . ($_SESSION["lang"] ? "-$_SESSION[lang]" : "") . ".php"; fwrite(fopen($filename, "w"), $file); // file_put_contents() since PHP 5 echo "$filename created (" . strlen($file) . " B).\n"; }