Last modified: 2013-09-06 08:16:51 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T55832, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 53832 - Unwanted change in font-family of JS pages: monospace --> sans-serif
Unwanted change in font-family of JS pages: monospace --> sans-serif
Status: RESOLVED DUPLICATE of bug 53734
Product: MediaWiki
Classification: Unclassified
Interface (Other open bugs)
unspecified
All All
: Unprioritized normal (vote)
: ---
Assigned To: Nobody - You can work on this!
: code-update-regression
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2013-09-06 00:44 UTC by Helder
Modified: 2013-09-06 08:16 UTC (History)
2 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments

Description Helder 2013-09-06 00:44:01 UTC
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.
Comment 1 Bartosz Dziewoński 2013-09-06 08:16:36 UTC

*** This bug has been marked as a duplicate of bug 53734 ***
Comment 2 Bartosz Dziewoński 2013-09-06 08:16:51 UTC
(Well, at least I think it's that.)

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links