Extension:PhpHighlight

The PhpHighlight extension defines a new tag to highlight PHP code with the internal PHP syntax highlighter.