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

Merge "SpecialGadgets: Avoid setting internal fields of HTMLForm"

Browse source
This commit is contained in:
jenkins-bot 2022-03-31 12:46:00 +00:00 committed by Gerrit Code Review
parent cc2c0b0fb8 3c23c202e5
commit 24a5961f0d
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -8,7 +8,7 @@
"descriptionmsg": "gadgets-desc",
"license-name": "GPL-2.0-or-later",
"requires": {
"MediaWiki": ">= 1.38.0"
"MediaWiki": ">= 1.39.0"
},
"type": "other",
"namespaces": [

2
includes/SpecialGadgets.php
View file

@ -306,7 +306,7 @@ class SpecialGadgets extends SpecialPage {
$htmlForm = HTMLForm::factory( 'ooui', [], $this->getContext() );
$htmlForm
->addHiddenField( 'title', SpecialPage::getTitleFor( 'Export' )->getPrefixedDBKey() )
->setTitle( SpecialPage::getTitleFor( 'Export' ) )
->addHiddenField( 'pages', $exportList )
->addHiddenField( 'wpDownload', '1' )
->addHiddenField( 'templates', '1' )