jenkins-bot has submitted this change and it was merged. Change subject: Require Resources.php in entry point ......................................................................
Require Resources.php in entry point Extension loading should fatal and stop if Resources.php cannot be loaded. Change-Id: I62f3095438e3702e0a41e1a4ad6721ec31f432fc --- M Echo.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/Echo.php b/Echo.php index 0937937..3d39973 100644 --- a/Echo.php +++ b/Echo.php @@ -88,7 +88,7 @@ // Extension initialization $wgExtensionFunctions[] = 'EchoHooks::initEchoExtension'; -include __DIR__ . '/Resources.php'; +require __DIR__ . '/Resources.php'; /** * This Echo hook can be used to define users who are by default interested in -- To view, visit https://gerrit.wikimedia.org/r/215253 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I62f3095438e3702e0a41e1a4ad6721ec31f432fc Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Echo Gerrit-Branch: master Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: Catrope <roan.katt...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits