EBernhardson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/130412
Change subject: Fix missing edit token
......................................................................
Fix missing edit token
Change-Id: Iae7904719ff4af008a679a55aad1ad6707002b57
---
M includes/View.php
1 file changed, 2 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Flow
refs/changes/12/130412/1
diff --git a/includes/View.php b/includes/View.php
index 6a2fdb1..9ebf9c3 100644
--- a/includes/View.php
+++ b/includes/View.php
@@ -37,6 +37,8 @@
}
public function show( WorkflowLoader $loader, $action ) {
+ global $wgFlowTokenSalt;
+
wfProfileIn( __CLASS__ . '-init' );
$out = $this->getOutput();
@@ -72,7 +74,6 @@
wfProfileIn( __CLASS__ . '-submit' );
$blocksToCommit = $loader->handleSubmit( $action,
$blocks, $user, $request );
if ( $blocksToCommit ) {
- global $wgFlowTokenSalt;
if ( $request->getVal( 'wpEditToken' ) !=
$user->getEditToken( $wgFlowTokenSalt ) ) {
$blocks = $blocksToCommit;
foreach ( $blocks as $block ) {
--
To view, visit https://gerrit.wikimedia.org/r/130412
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Iae7904719ff4af008a679a55aad1ad6707002b57
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: frontend-rewrite
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
