wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-13 17:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
490 commits 153 branches 0 tags 17 MiB
Commit graph

3 commits

Author SHA1 Message Date
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 5681b279de Localisation updates from https://translatewiki.net. 
Change-Id: I6c7bd12c7cc50dc9f23497f61052274b55dca0a6
 2017-05-12 23:01:50 +02:00
Translation updater bot a3cd15f3a3 Localisation updates from https://translatewiki.net. 
Change-Id: I079802c9f1f762c88326a83be61eb2c606d6070e
 2017-04-16 10:22:41 +02:00