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

Assigned To
None
Priority
Normal
Author
bzimport
Subscribers
None
Projects
Reference
bz11351
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

bzimport set Reference to bz11351.
bzimport created this task.Via LegacySep 15 2007, 4:00 PM
bzimport added a comment.Via ConduitSep 15 2007, 4:09 PM

robchur wrote:

Fixed in r25873; now normalising language name.

Add Comment

Column Prototype
This is a very early prototype of a persistent column. It is not expected to work yet, and leaving it open will activate other new features which will break things. Press "\" (backslash) on your keyboard to close it now.