'; function extra() { if ($_SERVER['SCRIPT_NAME'] == '/user.php') { $args = get_args_from_url(); if (isset($args['view'])) { if ($args['view'] == 'signup') { echo ' '; } else if ($args['view'] == 'display') { echo ' '; } } } else if ($_SERVER['SCRIPT_NAME'] == '/admin.php') { echo ' '; $args = get_args_from_url(); if (isset($args['view'])) { if ($args['view'] == 'users') { echo ' '; } } } else if ($_SERVER['SCRIPT_NAME'] == '/articles.php') { $args = get_args_from_url(); if (isset($args['view'])) { if ($args['view'] == 'compose') { echo ' '; } } } else if ($_SERVER['SCRIPT_NAME'] == '/todo.php') { echo ''; } echo ' '; } ?>