[MediaWiki-l] Second try: PHP Notice: Undefined index: editfont in includes/resourceloader/ResourceLoaderUserCSSPrefsModule.php
tylerromeo at gmail.com
Tue Nov 25 07:27:55 UTC 2014
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
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?
Stevens Institute of Technology, Class of 2016
Major in Computer Science
On Tue, Nov 25, 2014 at 1:56 AM, Katharina Wolkwitz <wolkwitz at fh-swf.de>
> 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
> 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.)
> one possible candidate in
> includes/DefaultSettings.php: 'editfont' => 'default',
> but I'm not sure whether that should be the definition missing in
> I'm adding the grep-result (minus the entries in languages/i18n/) to this
> for anyone who's interested.
> I'd be grateful for any hints or tips as to how to solve the error-message.
> MediaWiki-l mailing list
> To unsubscribe, go to:
More information about the MediaWiki-l