Thread:Project:Support desk/Changing editor font in user settings doesn't work :(/reply (2)

This CSS rule was just not output by my MediaWiki. And I found the reason why. It's a bug in OutputPage.php, line 2731. Look at it and see how it makes absolutely no sense. It actually led to three equal CSS links in my HTML document. The code block has to be changed to:

// Add site, private and user styles // 'private' at present only contains user.options, so put that before 'user' // Any future private modules will likely have a similar user-specific character foreach ( array( 'site', 'private', 'user' ) as $group ) { $ret .= $this->makeResourceLoaderLink($sk, $styles[$group], 'styles'); }