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

16 lines
464 B
PHP
Raw Normal View History

<?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");