diff -r e3d7322305bf -r 5e1f1e916419 punbb/admin_permissions.php --- a/punbb/admin_permissions.php Sun Sep 02 11:00:57 2007 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,229 +0,0 @@ -query('UPDATE '.$pun_db->prefix.'config SET conf_value='.$input.' WHERE conf_name=\'p_'.$pun_db->escape($key).'\'') or error('Unable to update board config', __FILE__, __LINE__, $pun_db->error()); - } - - // Regenerate the config cache - require_once PUN_ROOT.'include/cache.php'; - generate_config_cache(); - - pun_redirect('admin_permissions.php', 'Permissions updated. Redirecting …'); -} - - -$page_title = pun_htmlspecialchars($pun_config['o_board_title']).' / Admin / Permissions'; -require PUN_ROOT.'header.php'; -generate_admin_menu('permissions'); - -?> -