function plt_hide_ps_disable_auto_formatting_menus() {
//Hide the "Settings → Auto Formatting" menu.
remove_submenu_page('options-general.php', 'ps_disable_auto_formatting.php');
}
add_action('admin_menu', 'plt_hide_ps_disable_auto_formatting_menus', 11);