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
447 commits 153 branches 0 tags 17 MiB
Commit graph

5 commits

Author SHA1 Message Date
Translation updater bot 2392f7fa14 Localisation updates from https://translatewiki.net. 
Change-Id: I69f4631b2d2a5aa844e1625c9613645ce14e92a3
 2018-02-12 09:23:43 +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 fa133cd359 Localisation updates from https://translatewiki.net. 
Change-Id: I37e17d2df87701de28c5b7f5d6db0949c98543c4
 2017-08-06 22:36:25 +02:00
Translation updater bot d77d7d99ea Localisation updates from https://translatewiki.net. 
Change-Id: Icac3fcf0a5723a5d7223241717d2d6035d49359e
 2017-08-02 23:39:54 +02:00
Translation updater bot e2cfd550dc Localisation updates from https://translatewiki.net. 
Change-Id: Ia738376ea621eaf9c5e04d1cc7f3b8fb39c4f489
 2017-06-17 22:31:25 +02:00