wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-18 11:01:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
3225 commits 13 branches 26 tags 37 MiB
Commit graph

1407 commits

Author SHA1 Message Date
jenkins-bot d87e6e94d4 Merge "WikiEditor: Remove old unmaintained ToC module" 2014-04-04 07:56:24 +00:00
Translation updater bot d45eb05373 Localisation updates from https://translatewiki.net. 
Change-Id: I05c6fd59faa0f16fa14052e0467046e7bf6c34be
 2014-04-03 19:47:56 +00:00
Derk-Jan Hartman e53521b32b WikiEditor: Remove unmaintained template editor modules 
Change-Id: I47119d6cfdde4b40ff5b07be0c7d327b80598142
 2014-04-03 17:11:10 +02:00
Derk-Jan Hartman 9bb94e8319 WikiEditor: Remove old unmaintained ToC module 
Change-Id: I0f53a68e50fc950d7f407ee81b2bf0d81ef4948d
 2014-04-03 17:02:32 +02:00
Translation updater bot 9383e965cc Localisation updates from https://translatewiki.net. 
Change-Id: Ifb0d62921de70338552eade871e67aad69efde88
 2014-04-01 19:54:00 +00:00
Translation updater bot 87360d7db6 Localisation updates from https://translatewiki.net. 
Change-Id: I8ce6370da7cdc67685e8dee8cbfa99cd52aadcae
 2014-03-29 21:20:40 +00:00
Siebrand Mazeland 11f0e1ab32 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Id90e104793d3ca8243d0ef918b9bc91cf474c36d
 2014-03-29 17:14:05 +01:00