Use version without -dev

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

diff --git a/compile.php b/compile.php
index 230dfe797712830673f21cc717ef3158185118b9..6615e4caa0de5482bbc9098952980e55f17d2e23 100644 (file)
--- 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";
 }