wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-24 06:24:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace deprecated User::editToken with User::getEditToken

Browse source 
Change-Id: I3382a27ee788eb5dc6b7b033987326ce1ab1dc91
This commit is contained in:
Siebrand Mazeland 2012-08-30 14:57:43 +02:00
parent 9e79d4b213
commit f32b40b2b8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Interwiki_body.php
View file

@ -174,7 +174,7 @@ class SpecialInterwiki extends SpecialPage {
Html::rawElement( 'td', array( 'class' => 'mw-submit' ),
Xml::submitButton( $this->msg( $button )->text(), array( 'id' => 'mw-interwiki-submit' ) ) )
) . $wpPrefix .
Html::hidden( 'wpEditToken', $this->getUser()->editToken() ) .
Html::hidden( 'wpEditToken', $this->getUser()->getEditToken() ) .
Html::hidden( 'wpInterwikiAction', $action )
)
) );