https://bugzilla.wikimedia.org/show_bug.cgi?id=37067
Web browser: ---
Bug #: 37067
Summary: opensearch_desc.php does not read LocalSettings.php
Product: MediaWiki
Version: 1.19.0
Platform: All
OS/Version: All
Status: UNCONFIRMED
Severity: normal
Priority: Unprioritized
Component: User preferences
AssignedTo: wikibugs-l@lists.wikimedia.org
ReportedBy: choongyo...@hotmail.com
CC: agarr...@wikimedia.org
Classification: Unclassified
Mobile Platform: ---
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' );
}
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
