includes/Preferences.php:			$defaultPreferences['editfont'] = array(
includes/Preferences.php:				'label-message' => 'editfont-style',
includes/Preferences.php:					$context->msg( 'editfont-default' )->text() => 'default',
includes/Preferences.php:					$context->msg( 'editfont-monospace' )->text() => 'monospace',
includes/Preferences.php:					$context->msg( 'editfont-sansserif' )->text() => 'sans-serif',
includes/Preferences.php:					$context->msg( 'editfont-serif' )->text() => 'serif',
includes/DefaultSettings.php:	'editfont' => 'default',
includes/resourceloader/ResourceLoaderUserCSSPrefsModule.php:		if ( $options['editfont'] !== 'default' ) {
includes/resourceloader/ResourceLoaderUserCSSPrefsModule.php:			// Double-check that $options['editfont'] consists of safe characters only
includes/resourceloader/ResourceLoaderUserCSSPrefsModule.php:			if ( preg_match( '/^[a-zA-Z0-9_, -]+$/', $options['editfont'] ) ) {
includes/resourceloader/ResourceLoaderUserCSSPrefsModule.php:				$rules[] = "textarea { font-family: {$options['editfont']}; }\n";
logs/_wiki_debug.log:/aleph20wiki/index.php/Spezial:Einstellungen   Exception from line 85 of /opt/lampp/htdocs/aleph20wiki/includes/Preferences.php: Global default '' is invalid for field editfont
logs/_wiki_debug.log:/aleph20wiki/index.php/Spezial:Einstellungen   Exception from line 85 of /opt/lampp/htdocs/aleph20wiki/includes/Preferences.php: Global default '' is invalid for field editfont
logs/_wiki_debug.log:/aleph20wiki/index.php/Spezial:Einstellungen   Exception from line 85 of /opt/lampp/htdocs/aleph20wiki/includes/Preferences.php: Global default '' is invalid for field editfont
logs/_wiki_debug.log:/aleph20wiki/index.php/Spezial:Einstellungen   Exception from line 85 of /opt/lampp/htdocs/aleph20wiki/includes/Preferences.php: Global default '' is invalid for field editfont
logs/_wiki_debug.log:/aleph20wiki/index.php/Spezial:Einstellungen   Exception from line 85 of /opt/lampp/htdocs/aleph20wiki/includes/Preferences.php: Global default '' is invalid for field editfont
logs/_wiki_debug.log:/aleph20wiki/index.php/Spezial:Einstellungen   Exception from line 85 of /opt/lampp/htdocs/aleph20wiki/includes/Preferences.php: Global default '' is invalid for field editfont
maintenance/dictionary/mediawiki.dic:editfont
maintenance/language/messages.inc:	'editfont' => array(
maintenance/language/messages.inc:		'editfont-style',
maintenance/language/messages.inc:		'editfont-default',
maintenance/language/messages.inc:		'editfont-monospace',
maintenance/language/messages.inc:		'editfont-sansserif',
maintenance/language/messages.inc:		'editfont-serif',
maintenance/language/messages.inc:	'editfont' => 'Font style option in Special:Preferences',