Ticket #32823: plugin.php.patch

plugin.php

@@ -1059 +1059 @@
 }
 
 /**
+ * Add a separator to the top level menu
+ *
+ * This function takes a capability which will be used to determine whether
+ * or not a page is included in the menu.
+ *
+ * The function which is hooked in to handle the output of the page must check
+ * that the user has the required capability as well.
+ *
+ * @global array $menu
+ * @global array $_registered_pages
+ * @global array $_parent_pages
+ *
+ * @param string $capability The capability required for this menu to be displayed to the user.
+ * @param string $menu_slug The slug name to refer to this menu by (should be unique for this menu)
+ * @param int $position The position in the menu order this one should appear
+ *
+ * @return bool Always returns true
+ */
+function add_menu_page_separator( $capability, $menu_slug, $position = null ) {
+        global $menu, $_registered_pages, $_parent_pages;
+
+        $menu_slug = plugin_basename( $menu_slug );
+        
+        $new_menu = array( '', $capability, $menu_slug, '', 'wp-not-current-submenu wp-menu-separator' );
+
+        if ( null === $position )
+                $menu[] = $new_menu;
+        else
+                $menu[$position] = $new_menu;
+
+        $_registered_pages[$hookname] = true;
+
+        // No parent as top level
+        $_parent_pages[$menu_slug] = false;
+
+        return true;
+}
+
+/**
  * Add a top level menu page in the 'objects' section
  *
  * This function takes a capability which will be used to determine whether