1 <?php
2 require 'core.php';
3
4 require_login();
5
6 $page_name = $_REQUEST['page'];
7 $page_body = $_REQUEST['body'];
8
9 $ts = time(); # unix timestamp
10
11 $fname = "${GLOBALS['page_dir']}/${page_name}.html";
12 $archival_fname = "${GLOBALS['archive_dir']}/${ts}_${page_name}.html";
13
14 // Archive previous version
15 if(file_exists($fname)){
16 $ok = rename($fname, $archival_fname);
17 if(!$ok){ return_error(500,
18 'Sorry, there was an error archiving the page.'); }
19 }
20
21 // Save new version
22 $ok = file_put_contents($fname, $page_body);
23 if(!$ok){ return_error(500,
24 'Sorry, there was an error saving the page.'); }
25
26 // Redirect to view new version
27 header("Location: index.php?page=$page_name");