wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-13 17:53:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bug 29362 - Templates are not exported with gadgets

Browse source
This commit is contained in:
Max Semenik 2011-06-13 18:37:21 +00:00
parent df27435995
commit eb32b8f436
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
SpecialGadgets.php
View file

@ -160,6 +160,7 @@ class SpecialGadgets extends SpecialPage {
. Html::hidden( 'title', SpecialPage::getTitleFor( 'Export' )->getPrefixedDBKey() )
. Html::hidden( 'pages', $exportList )
. Html::hidden( 'wpDownload', '1' )
. Html::hidden( 'templates', '1' )
. Xml::submitButton( wfMsg( 'gadgets-export-download' ) )
. Html::closeElement( 'form' )
);