wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-24 07:03:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
373 commits 283 branches 5 tags 12 MiB
Commit graph

4 commits

Author SHA1 Message Date
Translation updater bot f696df88f9 Localisation updates from https://translatewiki.net. 
Change-Id: I1df74ff2d791b25e50122bdc80e8de3808ae4fb6
 2014-04-07 20:34:53 +00:00
Translation updater bot b85c668830 Localisation updates from https://translatewiki.net. 
Change-Id: Ic41d2b9ced43c5e86b51d62c98209e23fdc3a244
 2014-04-06 19:40:12 +00:00
Jackmcbarn c3fd290fff Allow InputBoxes to be used to move pages 
Add an option to InputBoxes to allow them to prefill Special:MovePage with
prefixes and other similar options to pages being created

Change-Id: I1740497030b5e9872162a1a261ac38791bb1373a
 2014-04-05 22:16:16 -04:00
Siebrand Mazeland 2ed67f2c7d Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Ia8b8777e8aac533bb5a87398b8fd06a2687248ec
 2014-03-28 08:24:47 +01:00