Last modified: 2008-03-01 16:39:00 UTC

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 13173 - Add a lang="mediawiki" to syntax highlighting
Add a lang="mediawiki" to syntax highlighting
Status: RESOLVED DUPLICATE of bug 10669
Product: MediaWiki extensions
Classification: Unclassified
SyntaxHighlight (GeSHi) (Other open bugs)
All All
: Normal enhancement (vote)
: ---
Assigned To: Nobody - You can work on this!
Depends on:
  Show dependency treegraph
Reported: 2008-02-27 04:12 UTC by Mike Dillon
Modified: 2008-03-01 16:39 UTC (History)
1 user (show)

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


Description Mike Dillon 2008-02-27 04:12:53 UTC
It would be nice if the <source> tag supported lang="mediawiki". This would be a lovely alternative to using a plain <pre><nowiki>. I haven't checked the upstream GeSHi to see if it has a MediaWiki mode, but I thought I'd file an enhancement request in case anyone else thinks this is a good idea.
Comment 1 Brion Vibber 2008-02-27 22:39:58 UTC
If it exists upstream, that'd be great. :)
Comment 2 Danny B. 2008-03-01 16:39:00 UTC

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

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