[MediaWiki-commits] [Gerrit] Replace deprecated User::editToken with User::getEditToken (... - change (mediawiki...Duplicator)

2014-01-10 Thread Nikerabbit (Code Review) 
Nikerabbit has submitted this change and it was merged.

Change subject: Replace deprecated User::editToken with User::getEditToken 
(1.19)
..


Replace deprecated User::editToken with User::getEditToken (1.19)

Change-Id: I0fbcae89a3d980dcb231dc78f82567d89a4c49b3
---
M Duplicator.page.php
1 file changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Nikerabbit: Verified; Looks good to me, approved



diff --git a/Duplicator.page.php b/Duplicator.page.php
index 28eaded..424d944 100644
--- a/Duplicator.page.php
+++ b/Duplicator.page.php
@@ -58,7 +58,7 @@
 */
public function execute( $title ) {
global $wgUser, $wgOut, $wgRequest, $wgLang, 
$wgDuplicatorRevisionLimit;
-   
+
$this-setHeaders();
 
# Check permissions
@@ -212,7 +212,7 @@
$form .= 'td' . Xml::submitButton( wfMsg( 'duplicator-submit' 
) ) . '/td';
$form .= '/tr';
$form .= '/table';
-   $form .= Html::Hidden( 'token', $wgUser-editToken( 
'duplicator' ) );
+   $form .= Html::Hidden( 'token', $wgUser-getEditToken( 
'duplicator' ) );
$form .= '/fieldset/form';
return $form;
}

-- 
To view, visit https://gerrit.wikimedia.org/r/106209
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0fbcae89a3d980dcb231dc78f82567d89a4c49b3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Duplicator
Gerrit-Branch: master
Gerrit-Owner: Siebrand siebr...@wikimedia.org
Gerrit-Reviewer: IAlex coderev...@emsenhuber.ch
Gerrit-Reviewer: Nikerabbit niklas.laxst...@gmail.com
Gerrit-Reviewer: Reedy re...@wikimedia.org

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] Replace deprecated User::editToken with User::getEditToken (... - change (mediawiki...Duplicator)

2014-01-08 Thread Siebrand (Code Review) 
Siebrand has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/106209


Change subject: Replace deprecated User::editToken with User::getEditToken 
(1.19)
..

Replace deprecated User::editToken with User::getEditToken (1.19)

Change-Id: I0fbcae89a3d980dcb231dc78f82567d89a4c49b3
---
M Duplicator.page.php
1 file changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Duplicator 
refs/changes/09/106209/1

diff --git a/Duplicator.page.php b/Duplicator.page.php
index 28eaded..424d944 100644
--- a/Duplicator.page.php
+++ b/Duplicator.page.php
@@ -58,7 +58,7 @@
 */
public function execute( $title ) {
global $wgUser, $wgOut, $wgRequest, $wgLang, 
$wgDuplicatorRevisionLimit;
-   
+
$this-setHeaders();
 
# Check permissions
@@ -212,7 +212,7 @@
$form .= 'td' . Xml::submitButton( wfMsg( 'duplicator-submit' 
) ) . '/td';
$form .= '/tr';
$form .= '/table';
-   $form .= Html::Hidden( 'token', $wgUser-editToken( 
'duplicator' ) );
+   $form .= Html::Hidden( 'token', $wgUser-getEditToken( 
'duplicator' ) );
$form .= '/fieldset/form';
return $form;
}

-- 
To view, visit https://gerrit.wikimedia.org/r/106209
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0fbcae89a3d980dcb231dc78f82567d89a4c49b3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Duplicator
Gerrit-Branch: master
Gerrit-Owner: Siebrand siebr...@wikimedia.org

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits