wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-24 16:04:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
558 commits 154 branches 0 tags 18 MiB
Commit graph

3 commits

Author SHA1 Message Date
Translation updater bot 8e9cf4bc2f Localisation updates from https://translatewiki.net. 
Change-Id: I704ed6541b974ab982753506d3f1cb2433a26ad0
 2018-03-19 22:19:27 +01:00
Kunal Mehta 35cfda325b Rename typo "linker-" keys to proper "linter-" 
I must have made a typo and prefixed the keys with "linker-" instead of
"linter-".

Change-Id: I041aa3341aaa2efa51d20c848cb19efb648209ac
 2017-11-24 20:38:25 -08:00
Translation updater bot 7b3eba647a Localisation updates from https://translatewiki.net. 
Change-Id: I6c1621a7b5a8a392272c73d1bd55ea5c6a7bbb41
 2016-11-11 22:57:05 +01:00