Ticket #6678: add_settings_page.diff

plugin.php

@@ -264 +264 @@
         return add_submenu_page( 'options-general.php', $page_title, $menu_title, $access_level, $file, $function );
 }
 
+// Alias for add_options_page, to reflect renaming of "Options" to "Settings" in WordPress 2.5
+function add_settings_page( $page_title, $menu_title, $access_level, $file, $function = '' ) {
+        return add_options_page( $page_title, $menu_title, $access_level, $file, $function);
+}
+
 function add_theme_page( $page_title, $menu_title, $access_level, $file, $function = '' ) {
         return add_submenu_page( 'themes.php', $page_title, $menu_title, $access_level, $file, $function );
 }