MediaWiki master
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