jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/379597 )
Change subject: Replace $wgUser with $user
......................................................................
Replace $wgUser with $user
Change-Id: I657551567334357b60bfec33e7d44a6d960f4a8e
---
M ApiVisualEditor.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/ApiVisualEditor.php b/ApiVisualEditor.php
index ec9fff4..285a953 100644
--- a/ApiVisualEditor.php
+++ b/ApiVisualEditor.php
@@ -299,7 +299,7 @@
}
$content =
$preloadPage->getContent( Revision::RAW );
- $parserOptions =
ParserOptions::newFromUser( $wgUser );
+ $parserOptions =
ParserOptions::newFromUser( $user );
$content =
$content->preloadTransform(
$preloadTitle,
--
To view, visit https://gerrit.wikimedia.org/r/379597
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I657551567334357b60bfec33e7d44a6d960f4a8e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: wmf/1.30.0-wmf.19
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
