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(a)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