wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-24 07:53:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
746 commits 154 branches 0 tags 18 MiB
Commit graph

4 commits

Author SHA1 Message Date
Translation updater bot 92d2444067 Localisation updates from https://translatewiki.net. 
Change-Id: Ic1297143e46ccc6cc0b00710db74bd87c48d0ff6
 2020-04-07 08:43:43 +02:00
Translation updater bot 76406a500b Localisation updates from https://translatewiki.net. 
Change-Id: Ica318d966a8a34fd68093abe4f0bebc49b419e7f
 2018-03-05 22:24:46 +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 881f69a997 Localisation updates from https://translatewiki.net. 
Change-Id: I3b98b1b74414453713ec60fd0469feec6263f4c3
 2016-11-12 22:54:15 +01:00