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

5 commits

Author SHA1 Message Date
Translation updater bot 62f152c430 Localisation updates from https://translatewiki.net. 
Change-Id: I1ad749f69999580a7d74a9d278ce31cbdbab3ae4
 2023-04-11 07:30:53 +02:00
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