mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-11 17:14:07 +02:00
Code Issues Releases Wiki Activity

Use PHP 5

Browse Source
This commit is contained in:
Jakub Vrana
2013-08-08 17:16:04 -07:00
parent 961ec0b857
commit 85d212c226
5 changed files with 7 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile.php
View File

@@ -394,5 +394,5 @@ $file = preg_replace("~<\\?php\\s*\\?>\n?|\\?>\n?<\\?php~", '', $file);
$file = php_shrink($file);
$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
file_put_contents($filename, $file);
echo "$filename created (" . strlen($file) . " B).\n";