<?php
class DowntimeTheme extends Themelet {
/**
* Show the admin that downtime mode is enabled
*/
public function display_notification(Page $page) {
$page->add_block(new Block("Downtime",
"<span style='font-size: 1.5em'><b>DOWNTIME MODE IS ON!</b></span>", "left", 0));
}
* Display $message and exit
public function display_message($message) {
global $config;
$theme_name = $config->get_string('theme');
$data_href = get_base_href();
$login_link = make_link("user_admin/login");
header("HTTP/1.0 503 Service Temporarily Unavailable");
print <<<EOD
<html>
<head>
<title>Downtime</title>
<link rel="stylesheet" href="$data_href/themes/$theme_name/style.css" type="text/css">
</head>
<body>
<div id="downtime">
<h1>Down for Maintenance</h1>
<div id="message">
$message
</div>
<h3>Admin Login</h3>
<div id="login">
<form action="$login_link" method="POST">
<table id="login_table" summary="Login Form">
<tr>
<td width="70"><label for="user">Name</label></td>
<td width="70"><input id="user" type="text" name="user"></td>
</tr>
<td><label for="pass">Password</label></td>
<td><input id="pass" type="password" name="pass"></td>
<tr><td colspan="2"><input type="submit" value="Log In"></td></tr>
</table>
</form>
</body>
</html>
EOD;
?>
