home/jonasls/www/wp-admin/options-head.php 0000644 00000001155 15220533150 0014606 0 ustar 00 <?php
/**
* WordPress Options Header.
*
* Displays updated message, if updated variable is part of the URL query.
*
* @package WordPress
* @subpackage Administration
*/
// Don't load directly.
if ( ! defined( 'ABSPATH' ) ) {
die( '-1' );
}
$action = ! empty( $_REQUEST['action'] ) ? sanitize_text_field( $_REQUEST['action'] ) : '';
if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
// For back-compat with plugins that don't use the Settings API and just set updated=1 in the redirect.
add_settings_error( 'general', 'settings_updated', __( 'Settings saved.' ), 'success' );
}
settings_errors();
Disabled functions: None