Ticket #34443: plugin.diff

src/wp-admin/includes/plugin.php

@@ -1132 +1132 @@
  *
  * @global array $submenu
  * @global array $menu
- * @global type $_wp_real_parent_file
+ * @global array $_wp_real_parent_file
  * @global bool $_wp_submenu_nopriv
  * @global array $_registered_pages
  * @global array $_parent_pages