enmi-conf.org: wp/wp-admin/options-head.php@372f2766ea20 (annotated)

0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	1	<?php
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	2	/**
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	3	* WordPress Options Header.
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	4	*
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	5	* Displays updated message, if updated variable is part of the URL query.
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	6	*
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	7	* @package WordPress
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	8	* @subpackage Administration
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	9	*/
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	10
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	11	wp_reset_vars( array( 'action' ) );
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	12
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	13	if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
7 cf61fcea0001 resynchronize code repo with production ymh <ymh.work@gmail.com> parents: 0 diff changeset	14	// For back-compat with plugins that don't use the Settings API and just set updated=1 in the redirect.
9 177826044cd9 upgrade wordpress to 5.2.3 ymh <ymh.work@gmail.com> parents: 7 diff changeset	15	add_settings_error( 'general', 'settings_updated', __( 'Settings saved.' ), 'updated' );
0 d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	16	}
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	17
d970ebf37754 first import ymh <ymh.work@gmail.com> parents: diff changeset	18	settings_errors();

author	ymh <ymh.work@gmail.com>
	Mon, 14 Oct 2019 18:30:03 +0200
changeset 10	372f2766ea20
parent 9	177826044cd9
child 16	a86126ab1dd4
permissions	-rw-r--r--