Wikimedia Bugzilla is closed!

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.