Jeroen De Dauw has uploaded a new change for review.
https://gerrit.wikimedia.org/r/72705
Change subject: Tweaks to entry point file
......................................................................
Tweaks to entry point file
Change-Id: I280f19a0e0f0f7913afcc14b2edda5ba644f9fe5
---
M Ask.php
1 file changed, 6 insertions(+), 6 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Ask
refs/changes/05/72705/1
diff --git a/Ask.php b/Ask.php
index 508f5ea..c7ea60c 100644
--- a/Ask.php
+++ b/Ask.php
@@ -36,15 +36,15 @@
define( 'Ask_VERSION', '0.1 alpha' );
// Attempt to include the DataValues lib if that hasn't been done yet.
-// This is the path the DataValues entry point will be at when loaded as
MediaWiki extension.
-if ( !defined( 'DataValues_VERSION' ) && file_exists( __DIR__ .
'/../DataValues/DataValues.php' ) ) {
- include_once( __DIR__ . '/../DataValues/DataValues.php' );
+// This is the path to the autoloader generated by composer in case of a
composer install.
+if ( !defined( 'DataValues_VERSION' ) && is_readable( __DIR__ .
'/vendor/autoload.php' ) ) {
+ include_once( __DIR__ . '/vendor/autoload.php' );
}
// Attempt to include the DataValues lib if that hasn't been done yet.
-// This is the path to the autoloader generated by composer in case of a
composer install.
-if ( !defined( 'DataValues_VERSION' ) && file_exists( __DIR__ .
'/vendor/autoload.php' ) ) {
- include_once( __DIR__ . '/vendor/autoload.php' );
+// This is the path the DataValues entry point will be at when loaded as
MediaWiki extension.
+if ( !defined( 'DataValues_VERSION' ) && is_readable( __DIR__ .
'/../DataValues/DataValues.php' ) ) {
+ include_once( __DIR__ . '/../DataValues/DataValues.php' );
}
// Only initialize the extension when all dependencies are present.
--
To view, visit https://gerrit.wikimedia.org/r/72705
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I280f19a0e0f0f7913afcc14b2edda5ba644f9fe5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Ask
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
