function page($title, $no_menu=false, $is_index=false, $onload="", $js="", $script_only=false)
{
- global $path_to_root;
+ global $path_to_root, $page_security;
+
$hide_menu = $no_menu;
include($path_to_root . "/includes/page/header.inc");
page_header($title, $no_menu, $is_index, $onload, $js);
+ check_page_security($page_security);
// error_box();
if($script_only) {
echo '<noscript>';
array_splice($array, $index, $len);
}
-function array_replace(&$array, $index, $len, $elements)
+function array_substitute(&$array, $index, $len, $elements)
{
array_splice($array, $index, $len);
array_insert($array, $index, $elements);