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

6 commits

Author SHA1 Message Date
Translation updater bot 5c8b9cbddb Localisation updates from https://translatewiki.net. 
Change-Id: I0c4ccd9d1ccacad48d592a9c5f732de07e1a440a
 2019-07-12 08:44:00 +02:00
Translation updater bot 36f4a8c2b2 Localisation updates from https://translatewiki.net. 
Change-Id: I75e3de8c2b2c0d8da6a7ff488f38fd31c6abb66e
 2019-07-07 22:40:11 +02: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 a71b802256 Localisation updates from https://translatewiki.net. 
Change-Id: I73c8bdfd81945fcfe5cad9dbe2fd9d301f72531f
 2017-09-20 22:51:53 +02:00
Translation updater bot f635b5d46d Localisation updates from https://translatewiki.net. 
Change-Id: Ia08e4b24c39fe909d9a5b6e76a7700e4ee867239
 2017-05-02 22:59:34 +02:00
Translation updater bot e3b2e8a2e0 Localisation updates from https://translatewiki.net. 
Change-Id: I6a61c994295a6f8ec0e47b317cf74390aa576c8d
 2017-04-09 22:48:56 +02:00