Jeroen De Dauw has uploaded a new change for review.
https://gerrit.wikimedia.org/r/240748
Change subject: Remove dead argument
......................................................................
Remove dead argument
Change-Id: Icd1584460e68422e50d4391bfbdf0d938ab1c1cf
---
M includes/actions/RollbackAction.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/48/240748/1
diff --git a/includes/actions/RollbackAction.php
b/includes/actions/RollbackAction.php
index 93669cf..70d7d16 100644
--- a/includes/actions/RollbackAction.php
+++ b/includes/actions/RollbackAction.php
@@ -109,7 +109,7 @@
$this->getOutput()->returnToMain( false, $this->getTitle() );
if ( !$request->getBool( 'hidediff', false ) &&
- !$this->getUser()->getBoolOption( 'norollbackdiff',
false )
+ !$this->getUser()->getBoolOption( 'norollbackdiff' )
) {
$contentHandler = $current->getContentHandler();
$de = $contentHandler->createDifferenceEngine(
--
To view, visit https://gerrit.wikimedia.org/r/240748
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Icd1584460e68422e50d4391bfbdf0d938ab1c1cf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
