wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-14 19:26:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/tests/phpunit
History
Umherirrender 829fb38450 VectorComponentPageTools: Remove unused User 
Usage was removed in 448a9066

Follow-Up: Idca2ccfe4aeef0a2ac0970f7baf54849a64a4070
Change-Id: I001805e955711c8343097f72370719310f63ed94
2024-01-11 23:00:37 +01:00
..
integration Use namespaced classes 2024-01-02 20:54:08 +01:00
structure PerformanceBudget: Remove FlaggedRevisions workaround 2023-11-14 17:25:56 +00:00
unit VectorComponentPageTools: Remove unused User 2024-01-11 23:00:37 +01:00