wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-12-01 02:46:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
592 commits 11 branches 11 tags 18 MiB
Commit graph

6 commits

Author SHA1 Message Date
Translation updater bot 36f4a8c2b2 Localisation updates from https://translatewiki.net. 
Change-Id: I75e3de8c2b2c0d8da6a7ff488f38fd31c6abb66e
 2019-07-07 22:40:11 +02:00
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 926fb7fc1b Localisation updates from https://translatewiki.net. 
Change-Id: I2f810efc71604d062575dda8980513707ab2f758
 2017-10-01 22:31:48 +02:00
Translation updater bot 534eeb719f Localisation updates from https://translatewiki.net. 
Change-Id: Ibf22f85f0aad02447764c0e018f098962443932a
 2017-05-11 23:16:37 +02:00
Translation updater bot 12e7ebac66 Localisation updates from https://translatewiki.net. 
Change-Id: I7b0735de9b97d0449d0154ea6d4f72740a49bc96
 2017-05-07 23:03:37 +02:00