Category:UserGetDefaultOptions extensions
Appearance
This category may not be up to date; it may not show all extensions that use this hook. You can view this MediaWiki Code search query to see the most up-to-date version of all extensions that use this hook. |
The UserGetDefaultOptions category contains pages on extensions that use the UserGetDefaultOptions hook.
Pages in category "UserGetDefaultOptions extensions"
The following 16 pages are in this category, out of 16 total.