1	<?php
2
3	namespace MediaWiki\User\Hook;
4
5	use MediaWiki\User\User;
6
7	/**
8	* This is a hook handler interface, see docs/Hooks.md.
9	* Use the hook name "UserSaveSettings" to register handlers implementing this interface.
10	*
11	* @stable to implement
12	* @ingroup Hooks
13	*/
14	interface UserSaveSettingsHook {
15	/**
16	* This hook is called directly after user settings have been saved to the database.
17	*
18	* Compare to the SaveUserOptions hook, which is called before saving and is only
19	* called for options managed by UserOptionsManager.
20	*
21	* @since 1.35
22	*
23	* @param User $user The User for which the settings have been saved
24	* @return bool|void True or no return value to continue or false to abort
25	*/
26	public function onUserSaveSettings( $user );
27	}