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
349 commits 154 branches 0 tags 18 MiB
Commit graph

5 commits

Author SHA1 Message Date
Translation updater bot ac2472106d Localisation updates from https://translatewiki.net. 
Change-Id: Id6ee39bdb3a2b66b363d9553e8e9e78b69537307
 2017-12-12 22:52:52 +01:00
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