Bulk delete/activate/deactivate for plugins. Split plugins into active and available lists. Props DD32. see #7091

git-svn-id: https://develop.svn.wordpress.org/trunk@8049 602fd350-edb4-49c9-b593-d223f7449a82

wp-admin/menu-header.php

@@ -2,6 +2,8 @@
 $self = preg_replace('|^.*/wp-admin/|i', '', $_SERVER['PHP_SELF']);
 $self = preg_replace('|^.*/plugins/|i', '', $self);
 
+global $menu, $submenu, $parent_file; //For when admin-header is included from within a function.
+
 get_admin_page_parent();
 
 // We're going to do this loop three times