Current File : /home/vacivi36/backupsite/public_html/wp-content/plugins/admin-menu-editor/menu-editor.php
<?php
/*
Plugin Name: Admin Menu Editor
Plugin URI: http://w-shadow.com/blog/2008/12/20/admin-menu-editor-for-wordpress/
Description: Lets you directly edit the WordPress admin menu. You can re-order, hide or rename existing menus, add custom menus and more.
Version: 1.9.9
Author: Janis Elsts
Author URI: http://w-shadow.com/blog/
*/
if ( include(dirname(__FILE__) . '/includes/version-conflict-check.php') ) {
return;
}
require_once dirname(__FILE__) . '/includes/basic-dependencies.php';
//Are we running in the Dashboard?
if ( is_admin() ) {
//Load the plugin
$wp_menu_editor = new WPMenuEditor(__FILE__, 'ws_menu_editor');
}//is_admin()
Mini Shell