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 wolkwitz@fh-swf.de 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