UserOptionsStore.php File Reference

Go to the source code of this file.

Classes
interface	MediaWiki\User\Options\UserOptionsStore
	Get or change options for a given user in a given backend store. More...

Namespaces
namespace	MediaWiki\User\Options