wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-28 09:40:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
395 commits 11 branches 11 tags 18 MiB
Commit graph

5 commits

Author SHA1 Message Date
Translation updater bot 6e9e16179e Localisation updates from https://translatewiki.net. 
Change-Id: I1163f60f4b7d310595ebbecc85547c4eeffd8658
 2017-11-26 22:39:21 +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 9077d9a7ef Localisation updates from https://translatewiki.net. 
Change-Id: Ia243c60fef46180afae9ad654f796517fa7924b5
 2017-07-14 22:38:28 +02:00
Translation updater bot cbc3b9005c Localisation updates from https://translatewiki.net. 
Change-Id: I872d2b62b1c5ed4b8dfed646acd93b2887f96f63
 2016-12-16 22:15:30 +01:00
Translation updater bot 7e4bd54edb Localisation updates from https://translatewiki.net. 
Change-Id: I15e06c49f1842cad48113d00e291848a8f51ce5c
 2016-11-16 22:48:03 +01:00