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
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
Hello Tyler,
you haven't missed my first email, because I cancelled sending it since it became to large when I added the uncut version of the grep-result-file.
I'm using MW 1.23.6 on a SLES 11SP3 Server with PHP 5.3.17 and MySQL 5.5.39 behind it.
Adding $wgHiddenPrefs[] = 'editfont'; to LocalSettings.php didn't change anything.
As you've hinted that somehow an extension might be involved somehow I even deactivated all exentsions I have, but even that didn't change anything either. :-(
Do you have another idea where I might look? Kate
Am 25.11.2014 um 08:27 schrieb Tyler Romeo:
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
MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
mediawiki-l@lists.wikimedia.org