jenkins-bot has submitted this change and it was merged.
Change subject: Fix PHP shim
......................................................................
Fix PHP shim
The git repository is named "OAI", so that's where the file will be.
And use __DIR__ instead of $dir.
Change-Id: I24aa83b47ae71c330c22a0c2cf1c25b1517efd36
---
M OAIRepo.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Alex Monk: Looks good to me, approved
jenkins-bot: Verified
diff --git a/OAIRepo.php b/OAIRepo.php
index 865eeb2..6acf832 100644
--- a/OAIRepo.php
+++ b/OAIRepo.php
@@ -1,10 +1,10 @@
<?php
if ( function_exists( 'wfLoadExtension' ) ) {
- wfLoadExtension( 'OAIRepo' );
+ wfLoadExtension( 'OAI' );
// Keep i18n globals so mergeMessageFileList.php doesn't break
$wgMessagesDirs['OAIRepo'] = __DIR__ . '/i18n';
- $wgExtensionMessagesFiles['OAIRepositoryAlias'] = $dir .
'OAIRepo.alias.php';
+ $wgExtensionMessagesFiles['OAIRepositoryAlias'] = __DIR__ .
'/OAIRepo.alias.php';
/*wfWarn(
'Deprecated PHP entry point used for OAIRepo extension. Please
use wfLoadExtension instead, ' .
'see https://www.mediawiki.org/wiki/Extension_registration for
more details.'
--
To view, visit https://gerrit.wikimedia.org/r/261612
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I24aa83b47ae71c330c22a0c2cf1c25b1517efd36
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/OAI
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
