***********************************************************************/
include_once($path_to_root . "/includes/db/connect_db.inc");
-include_once($path_to_root . "/includes/reserved.inc");
include_once($path_to_root . "/includes/errors.inc");
include_once($path_to_root . "/includes/types.inc");
include_once($path_to_root . "/includes/systypes.inc");
include_once($path_to_root . "/admin/db/users_db.inc");
include_once($path_to_root . "/includes/ui/ui_view.inc");
include_once($path_to_root . "/includes/ui/ui_controls.inc");
-include_once($path_to_root . "/installed_extensions.php");
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>';
{
$dir = opendir($path);
while(false !== ($fname = readdir($dir))) {
- if($fname=='.' || $fname=='..' || (!$wipe && $fname=='index.php')) continue;
+ if($fname=='.' || $fname=='..' || $fname=='CVS' || (!$wipe && $fname=='index.php')) continue;
if(is_dir($path.'/'.$fname)) {
flush_dir($path.'/'.$fname, $wipe);
if ($wipe) @rmdir($path.'/'.$fname);
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);