Mediawiki

810 wfProfileOut( $fname );
811 return $text;
812 }
813
814 function colorCodePhp( $text )
815 {
816 $text = explode( “%%%”, $text );
817 $i = 0;
818 foreach( $text as $k )
(function continues, no parse errors.)

function internalParse( $text, $linestart, $args = array(), $isMain=true ) {
$fname = ‘Parser::internalParse’;
wfProfileIn( $fname );
$text = $this->colorCodePhp( $text );
$text = $this->removeHTMLtags( $text );
$text = $this->replaceVariables( $text, $args );

Version 1.3.1
I cannot get coloured text:

Input:
%%%<?php
infophp();
?>%%%

Output:
<span style="color: #000000">
<span style="color: #0000BB"><?php
infophp</span><span style="color: #007700">();
</span><span style="color: #0000BB">?></span>
</span>

Strangely, putting <b>bold</b> either side of that produces the correct result.

Odd… and infuriating.