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

4 commits

Author SHA1 Message Date
Translation updater bot eb49b543b2
Localisation updates from https://translatewiki.net. 
Change-Id: I46671e8945b8032485d270c8a3cc2c35378cda90
 2024-09-30 09:21:23 +02:00
Translation updater bot 60df2687bd
Localisation updates from https://translatewiki.net. 
Change-Id: I847deee2b449f3e92b64cf9c2200338d3f258f0e
 2024-09-26 09:20:10 +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 dc0463cee3 Localisation updates from https://translatewiki.net. 
Change-Id: I1a4e84020746c1acd71d017e353589ae0138f795
 2017-04-10 22:53:46 +02:00