1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-22 04:23:01 +00:00
Pepperminty-Wiki/build.php

15 lines
464 B
PHP

<?php
header("content-type: text/plain");
echo("Checking for existing build....");
if(file_exists("index.php"))
exit("fail!\nA build already exists in this directory.\nPlease delete it and then run this script again.");
echo("pass - no other builds were found.\n");
echo("Reading core.php...");
$build = file_get_contents("core.php");
echo("done\n");
echo("Writing build....");
file_put_contents("index.php", $build);
echo("done!\n*** Build Completed ***\n");