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

4 commits

Author SHA1 Message Date
Translation updater bot 5d7ab916bf Localisation updates from https://translatewiki.net. 
Change-Id: I74f96b40a77c0f7cb4c4cbf9587b938bc9a019a6
 2017-12-10 22:33:17 +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 6cc9553ef2 Localisation updates from https://translatewiki.net. 
Change-Id: If29872ccdd07b48d7bd7d24444395692919fa041
 2017-05-20 22:39:18 +02:00
Translation updater bot 1c233f5298 Localisation updates from https://translatewiki.net. 
Change-Id: Id5aa739232710430fc95941c88a247dcf6a922be
 2017-03-22 22:53:56 +01:00