mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-28 01:20:07 +00:00
f9d9ddcbec
And while we are here: * Split long lines. * Use isRegistered from the more narrow UserIdentity interface. * Sort conditions from (probably) least to most expensive. Change-Id: Ia6e4018a22cfc2fb450bb53f6d63a4a106394b87 |
||
---|---|---|
.. | ||
Components | ||
FeatureManagement | ||
ResourceLoader | ||
Services | ||
templates | ||
Constants.php | ||
Hooks.php | ||
ServiceWiring.php | ||
SkinVector22.php | ||
SkinVectorLegacy.php | ||
VectorServices.php |