Maniphest T55832

Unwanted change in font-family of JS pages: monospace --> sans-serif
Closed, ResolvedPublic
Actions

Assigned To

None

Authored By

	He7d3r
	Sep 6 2013, 12:44 AM

Tags

Referenced Files

None

Subscribers

• wikibugs-l-list

Description

I just noticed a change in the font used on JS pages such as
https://pt.wikipedia.org/wiki/MediaWiki:Common.js?action=edit&debug=1
https://fr.wikipedia.org/wiki/MediaWiki:Common.js?action=edit&debug=1
They are using "font-family: sans-serif" instead of the desired "font-family: monospace". It is still possible to see the old behavior on e.g.
https://en.wikipedia.org/wiki/MediaWiki:Common.js?action=edit&debug=1

The three wikis above are running 1.22wmf15 (5241654) right now, and all of them have CodeEditor installed.

I tested using Google Chrome 29.0.1547.65 and Firefox 23.0.

Version: unspecified
Severity: normal

Details

Reference: bz53832

Event Timeline

• bzimport raised the priority of this task from to Needs Triage.Nov 22 2014, 1:55 AM

• bzimport added a project: MediaWiki-User-Interface.

• bzimport set Reference to bz53832.

• bzimport added a subscriber: Unknown Object (MLST).

He7d3r created this task.Sep 6 2013, 12:44 AM

This bug has been marked as a duplicate of bug 53734 ***

(Well, at least I think it's that.)