Extension:PhpHighlight

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