Wikimedia Bugzilla is closed!

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.