jenkins-bot has submitted this change and it was merged. Change subject: Update Parsoid extension require path ......................................................................
Update Parsoid extension require path The Parsoid extension currently provides a symlink from /Parsoid.php to /php/Parsoid.php. This patch changes the require to use the symlink instead of the actual PHP file. This is in preparation for https://gerrit.wikimedia.org/r/#/c/156169/ landing, which will move the entire extension code to the root of the parsoid extension directory, and replace the symlink with the actual file. Change-Id: I6b66bd6dd7be6fe41119325a946f22fa069eae2e --- M wmf-config/CommonSettings.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Arlolra: Looks good to me, but someone else must approve Subramanya Sastry: Looks good to me, but someone else must approve Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php index 6b8aae4..ca582ff 100644 --- a/wmf-config/CommonSettings.php +++ b/wmf-config/CommonSettings.php @@ -1931,7 +1931,7 @@ } if ( $wmgUseParsoid ) { - require_once( "$IP/extensions/Parsoid/php/Parsoid.php" ); + require_once( "$IP/extensions/Parsoid/Parsoid.php" ); $wmgParsoidURL = 'http://10.2.2.29'; // parsoidcache.svc.eqiad.wmnet -- To view, visit https://gerrit.wikimedia.org/r/157177 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6b66bd6dd7be6fe41119325a946f22fa069eae2e Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: GWicke <[email protected]> Gerrit-Reviewer: Arlolra <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]> Gerrit-Reviewer: Greg Grossmeier <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: Subramanya Sastry <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
