jenkins-bot has submitted this change and it was merged.
Change subject: Add ServiceProviderInterface to autoload.php
......................................................................
Add ServiceProviderInterface to autoload.php
We're not using it currently, but we might in the future. Also,
if we don't do it now it will be picked up by an unrelated commit.
Change-Id: I062ebdfab6f9faa1ae24cdef9a4b7aceef8b57e9
---
M autoload.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
EBernhardson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/autoload.php b/autoload.php
index 1008f29..1b6d6f3 100644
--- a/autoload.php
+++ b/autoload.php
@@ -368,4 +368,5 @@
'Flow\\WorkflowLoaderFactory' => __DIR__ .
'/includes/WorkflowLoaderFactory.php',
'MaintenanceDebugLogger' => __DIR__ .
'/maintenance/MaintenanceDebugLogger.php',
'Pimple\\Container' => __DIR__ . '/vendor/Pimple/Container.php',
+ 'Pimple\\ServiceProviderInterface' => __DIR__ .
'/vendor/Pimple/ServiceProviderInterface.php',
);
--
To view, visit https://gerrit.wikimedia.org/r/193328
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I062ebdfab6f9faa1ae24cdef9a4b7aceef8b57e9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: Mattflaschen <mflasc...@wikimedia.org>
Gerrit-Reviewer: EBernhardson <ebernhard...@wikimedia.org>
Gerrit-Reviewer: Mattflaschen <mflasc...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
