/** * Shows a message screen to the user. * @param string $message HTML message * @param string $status HTTP status * @param string $redirect URL for automatic redirection * @param string $location Location of the created URL */ public static function show_message($message, $status, $location) { REST::header(array('status' => $status, 'Content-Type' => REST::best_xhtml_type() . '; charset=UTF-8', 'Location' => REST::rel2url($location))); echo REST::html_start('Redirect') . <<<EOS <p>{$message}</p> <script type="text/javascript"><![CDATA[ setTimeout( 'window.location.href = "{$location}";', 1000 ); ]]></script> EOS; echo REST::html_end(); exit; }