jenkins-bot has submitted this change and it was merged.
Change subject: Remove explicit require of ExternalStoreDB.php
......................................................................
Remove explicit require of ExternalStoreDB.php
AutoLoader should take care of this.
Change-Id: Iabe335cd14e2739df9c184d6ab2e6ee98205b550
---
M maintenance/storage/moveToExternal.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Aude: Looks good to me, approved
jenkins-bot: Verified
diff --git a/maintenance/storage/moveToExternal.php
b/maintenance/storage/moveToExternal.php
index 348fb77..ab59cb8 100644
--- a/maintenance/storage/moveToExternal.php
+++ b/maintenance/storage/moveToExternal.php
@@ -25,7 +25,6 @@
if ( !defined( 'MEDIAWIKI' ) ) {
require_once __DIR__ . '/../commandLine.inc';
- require_once __DIR__ .
'/../../includes/externalstore/ExternalStoreDB.php';
require_once 'resolveStubs.php';
$fname = 'moveToExternal';
--
To view, visit https://gerrit.wikimedia.org/r/188316
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iabe335cd14e2739df9c184d6ab2e6ee98205b550
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Parent5446 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
