https://www.mediawiki.org/wiki/Special:Code/MediaWiki/113822
Revision: 113822
Author: reedy
Date: 2012-03-14 17:00:14 +0000 (Wed, 14 Mar 2012)
Log Message:
-----------
Fail more gracefully if a trunk entry isn't set for extensions (noticed while
setting config up)
Modified Paths:
--------------
trunk/extensions/ExtensionDistributor/ExtensionDistributor_body.php
Modified: trunk/extensions/ExtensionDistributor/ExtensionDistributor_body.php
===================================================================
--- trunk/extensions/ExtensionDistributor/ExtensionDistributor_body.php
2012-03-14 16:59:09 UTC (rev 113821)
+++ trunk/extensions/ExtensionDistributor/ExtensionDistributor_body.php
2012-03-14 17:00:14 UTC (rev 113822)
@@ -135,7 +135,7 @@
return;
}
- if ( !$extensions['trunk'] ) {
+ if ( !isset( $extensions['trunk'] ) || !$extensions['trunk'] ) {
$wgOut->addWikiMsg( 'extdist-wc-empty' );
return;
}
_______________________________________________
MediaWiki-CVS mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs
