Category:MediaWiki hooks included in UserOptionsManager.php

This category includes pages on MediaWiki hooks that are included in UserOptionsManager.php (manual page on MediaWiki.org).

Pages in category "MediaWiki hooks included in UserOptionsManager.php"

The following 3 pages are in this category, out of 3 total.