mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-13 17:57:06 +00:00
b109e10cf3
Can be merged when database rows have been updated to no longer use skin version. * Drop migration code * Drop skin version preference * Drop default skin version and existing accounts skin version * Move skin definitions into skin.json * Repurpose SkinVector as an abstract class * Update READMEs Bug: T301930 Bug: T294995 Bug: T302627 Change-Id: I7454d8f1cfdef81e7f3df476d8ce86736b46fff2 |
||
---|---|---|
.. | ||
DynamicConfigRequirement.php | ||
LatestSkinVersionRequirement.php | ||
OverridableConfigRequirement.php | ||
SimpleRequirement.php |