Page MenuHomePhabricator

The source-languagename class on a <pre> tag generated by a <source> tag has inconsistent capitalisation
Closed, ResolvedPublic

Description

Author: ais523

Description:
The following MediaWiki wikimarkup:

<source lang="javascript">
/* This comment is inside a source tag with lang="javascript". */
</source>

<source lang="Javascript">
/* This comment is inside a source tag with lang="Javascript". */
</source>

leads to the following HTML output (if the Highlight extension is installed):

<div dir="ltr">
<pre class="source-javascript">
<span class="coMULTI">/* This comment is inside a source tag with lang="javascript". */</span>
</pre></div>
<div dir="ltr">
<pre class="source-Javascript">
<span class="coMULTI">/* This comment is inside a source tag with lang="Javascript". */</span>
</pre></div>

The problem is that capitals in the lang parameter seem to end up as capitals in the <pre> that the <source> tag generates; this inconsistency makes it harder to specify language styling in [[MediaWiki:Geshi.css]]. The class name should probably be forced to lowercase.


Version: unspecified
Severity: normal
URL: http://en.wikipedia.org/wiki/User:ais523/Sandbox

Details

Reference
bz11351

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 10:00 PM
bzimport set Reference to bz11351.

robchur wrote:

Fixed in r25873; now normalising language name.