wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-23 10:21:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Linter/modules
History
Ed Sanders 1558e4515f Remove obsolete aliases from closures 
Bug: T208951
Change-Id: I1375167c846b09943c174ae56482a8339d6051ed
2018-11-12 16:06:19 +00:00
..
ext.linter.edit.js Remove obsolete aliases from closures 2018-11-12 16:06:19 +00:00