"^demon" posted a comment on MediaWiki.r113367. URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/113367#c31978
Commit summary for MediaWiki.r113367: Bug 27246 - Downloading trunk version of ExtensionDistributor gives error Only attempt to include ExtensionFunctions.php if it exists in this extension source tree AND it's used! ^demon's comment: It makes me sad that we're still dealing with this vestigial file :( _______________________________________________ MediaWiki-CodeReview mailing list mediawiki-coderev...@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview