Wikimedia Bugzilla is closed!

I have a custom $wgFavicon in LocalSettings.php and always can't get it work as wiki keep pojnting to the default {domain}/favicon.ico file.

Then I compared index.php and opensearch_desc.php, found out that opensearch_desc.php may have an old version of "include".


I think line#9 of opensearch_desc.php should change to:

if ( isset( $_SERVER['MW_COMPILED'] ) ) {
	require ( 'phase3/includes/WebStart.php' );
} else {
	require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
}