Ticket #10246: tools_and_edit_as_synonyms.diff
File tools_and_edit_as_synonyms.diff, 569 bytes (added by , 15 years ago) |
---|
-
wp-admin/includes/plugin.php
691 691 add_action( $hookname, $function ); 692 692 693 693 $_registered_pages[$hookname] = true; 694 // backwards-compatibility for plugins using add_management page. See wp-admin/admin.php for redirect from edit.php to tools.php 695 if ( 'tools.php' == $parent ) 696 $_registered_pages[get_plugin_page_hookname( $file, 'edit.php')] = true; 694 697 695 698 return $hookname; 696 699 }