Jeroen De Dauw has uploaded a new change for review.
https://gerrit.wikimedia.org/r/92902
Change subject: Fix a PHP notice occuring in the autoloader
......................................................................
Fix a PHP notice occuring in the autoloader
Change-Id: I36884ba70d36841fea8ce6ba3a33ab934865507c
---
M includes/AutoLoader.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/02/92902/1
diff --git a/includes/AutoLoader.php b/includes/AutoLoader.php
index dbba500..2cf96cc 100644
--- a/includes/AutoLoader.php
+++ b/includes/AutoLoader.php
@@ -1186,7 +1186,7 @@
}
}
- if ( !$filename ) {
+ if ( !isset( $filename ) || !$filename ) {
if ( function_exists( 'wfDebug' ) ) {
# FIXME: This is not very polite. Assume we do
not manage the class.
wfDebug( "Class {$className} not found; skipped
loading\n" );
--
To view, visit https://gerrit.wikimedia.org/r/92902
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I36884ba70d36841fea8ce6ba3a33ab934865507c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
