Index: plugin.php
===================================================================
--- plugin.php	(revision 7640)
+++ plugin.php	(working copy)
@@ -264,6 +264,11 @@
 	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 );
 }