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

Follow up 1d68a5f3f9 fix issue from merge conflict.

Browse source 
Whoops. My bad.

Change-Id: Ib6a951152db222b6289b9b8d09608dfe75ed2dff
This commit is contained in:
Brian Wolff 2018-04-11 20:25:22 +00:00
parent 1d68a5f3f9
commit ca4ac1faab
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
SpecialReplaceText.php
View file

@ -58,7 +58,6 @@ class SpecialReplaceText extends SpecialPage {
}
if ( $request->getCheck( 'replace' ) ) {
// check for CSRF
$user = $this->getUser();
if ( !$user->matchEditToken( $request->getVal( 'token' ) ) ) {
@ -123,7 +122,6 @@ class SpecialReplaceText extends SpecialPage {
wfProfileOut( __METHOD__ );
return;
} elseif ( $request->getCheck( 'target' ) ) { // very long elseif, look for "end elseif"
// check for CSRF
$user = $this->getUser();
if ( !$user->matchEditToken( $request->getVal( 'token' ) ) ) {
@ -306,7 +304,7 @@ class SpecialReplaceText extends SpecialPage {
)
) . "\n" .
Html::hidden( 'title', $this->getTitle()->getPrefixedText() ) .
Html::hidden( 'continue', 1 )
Html::hidden( 'continue', 1 ) .
Html::hidden( 'token', $out->getUser()->getEditToken() )
);
if ( is_null( $warning_msg ) ) {
@ -486,7 +484,7 @@ class SpecialReplaceText extends SpecialPage {
Html::hidden( 'use_regex', $this->use_regex ) .
Html::hidden( 'move_pages', $this->move_pages ) .
Html::hidden( 'edit_pages', $this->edit_pages ) .
Html::hidden( 'replace', 1 )
Html::hidden( 'replace', 1 ) .
Html::hidden( 'token', $out->getUser()->getEditToken() )
);