Sorry if I missed the first email, but what version of MW are you running and what extensions are you using?
I traced the code path manually, and unless: * $wgDefaultUserOptions['editfont'] is being unset in LocalSettings.php, * or if an extension is unset()ing it in the UserLoadOptions or UserGetDefaultOptions hooks It should not be possible for that index to not exist. Try adding to LocalSettings.php: $wgHiddenPrefs[] = 'editfont'; If that fixes the issue, then it looks like the work of an extension. Otherwise, maybe some sort of caching issue? *-- * *Tyler Romeo* Stevens Institute of Technology, Class of 2016 Major in Computer Science On Tue, Nov 25, 2014 at 1:56 AM, Katharina Wolkwitz <[email protected]> wrote: > Hi again, > > getting to me second server-update I'm encountering a new set of > error-messages. :-) > > This time it's an undefined index: editfont in the file > includes/resourceloader/ResourceLoaderUserCSSPrefsModule.php > > grepping for the word editfont through the whole > mediawiki-installation-directory didn't really help. It seems that exept > for the > for lines inside of the file above (none of which defines editfont btw.) > there's > one possible candidate in > includes/DefaultSettings.php: 'editfont' => 'default', > but I'm not sure whether that should be the definition missing in > ResourceLoaderUserCSSPrefsModule.php... > > I'm adding the grep-result (minus the entries in languages/i18n/) to this > mail > for anyone who's interested. > > I'd be grateful for any hints or tips as to how to solve the error-message. > > Kate > > _______________________________________________ > MediaWiki-l mailing list > To unsubscribe, go to: > https://lists.wikimedia.org/mailman/listinfo/mediawiki-l > > _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
