wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-23 18:29:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
722 commits 144 branches 0 tags 16 MiB
Commit graph

4 commits

Author SHA1 Message Date
Translation updater bot ee0b79867d Localisation updates from https://translatewiki.net. 
Change-Id: I8bc3bde83b56d9b3cb136b8e225dc84e84820c1e
 2020-07-07 09:31:25 +02:00
Translation updater bot 86fca60a02 Localisation updates from https://translatewiki.net. 
Change-Id: I5e1e0b0cc78708775f6d70db73b03f49fa83bbd3
 2020-02-12 08:21:49 +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 73fe1340db Localisation updates from https://translatewiki.net. 
Change-Id: I4b68796dd955eaa04948a8073d11f62f683fd852
 2017-09-03 09:06:32 +02:00