Page MenuHomePhabricator

Add Extension:Highlight to *.wikibooks.org and *.wikiversity.org
Closed, ResolvedPublic

Description

Author: greudin

Description:
Is there a plan to make this highlight extension available on *.wikibooks.org
and *.wikiversity ?

http://www.mediawiki.org/wiki/Extension:Highlight

Example:
<pre><nowiki>
<source lang="php">
<?php

// Hello World in PHP
echo 'Hello World!';

?>
</source>
</nowiki></pre>

Output:
http://upload.wikimedia.org/wikipedia/mediawiki/6/68/SyntaxHighlightPhp.png

Thank you for all you did! MediaWiki rocks
G.


Version: unspecified
Severity: enhancement

Details

Reference
bz9322

Event Timeline

bzimport raised the priority of this task from to Low.Nov 21 2014, 9:40 PM
bzimport set Reference to bz9322.
bzimport added a subscriber: Unknown Object (MLST).
  • This bug has been marked as a duplicate of 7163 ***