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

4 commits

Author SHA1 Message Date
Translation updater bot 4c7dcee19c Localisation updates from https://translatewiki.net. 
Change-Id: I2c31b572ba8d58210817e027066a3ad1ce947c4d
 2017-12-05 09:41:01 +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 8e9e01608d Localisation updates from https://translatewiki.net. 
Change-Id: I4bcf8d126dcd0ef8ee111f065ca7104a4210c87f
 2016-12-22 22:54:23 +01:00
Translation updater bot 56b95a242a Localisation updates from https://translatewiki.net. 
Change-Id: Icc2e7e8ca7eac3aa2a84b506d9d57cbc93af879e
 2016-11-02 22:50:24 +01:00