Category:UserGetDefaultOptions extensions/es
 | Es posible que esta categoría no esté actualizada; puede que no muestre todas las extensiones que utilizan este gancho. Puede ver esta consulta de búsqueda de código de MediaWiki para ver la versión más actualizada de todas las extensiones que usan este gancho. |
La categoría UserGetDefaultOptions contiene páginas en extensiones que usan el enlace UserGetDefaultOptions /en.
Pages in category "UserGetDefaultOptions extensions/es"
The following 7 pages are in this category, out of 7 total.