m_cache = $cache; $this->m_admin_ui = $admin_ui; add_filter('admin_menu', array(&$this, 'filter_admin_menu')); } // --------------------------------------------------------------------------- // filter // --------------------------------------------------------------------------- function filter_admin_menu() { // delay initialization until the WP framework is loaded add_submenu_page('options-general.php', __('Exec-PHP Options', ExecPhp_PLUGIN_ID), __('Exec-PHP', ExecPhp_PLUGIN_ID), ExecPhp_CAPABILITY_EDIT_PLUGINS, __FILE__, array(&$this, 'submenu_page_option_general')); } // --------------------------------------------------------------------------- // tools // --------------------------------------------------------------------------- function print_request_users($display_id, $legend, $introduction) { ?>
m_cache->get_option(); if (isset($_POST[ExecPhp_ACTION_UPDATE_OPTIONS])) { check_admin_referer(ExecPhp_ACTION_UPDATE_OPTIONS); $option->set_from_POST(); $option->save(); echo ''. __('Options saved.', ExecPhp_PLUGIN_ID) . "