Deprecate add_options_page() for add_settings_page() to reflect WP2.5 renaming "Options"

[ozh]

WP 2.5 renamed menu "Options" to "Settings". I think it would make sense then to have add_settings_page() just like we have add_options_page()

function add_settings_page( $page_title, $menu_title, $access_level, $file, $function = '' ) {
	return add_submenu_page( 'options-general.php', $page_title, $menu_title, $access_level, $file, $function );
}

[ozh]

add_settings_page() alias

[ozh]

So trivial it should be 2.5.1 I think

[ryan]

Milestone 2.5.2 deleted

[Denis-de-Bernardy]

suggesting wontfix

[scribu]

If it didn't happen until now, it's not gonna happen.