[wp-docs] PHP Syntax Highlighting on Codex

[Christian Balzer (TigerDE2)]

Hi!

I've seen (e. g. here:
http://codex.wordpress.org/index.php?title=Template_Tags/comments_link&action=edit&section=2
) that we can use three percentage signs (%%%) on the codex to get PHP
highlighted.

Is there anyone who can tell me where to get that plug in for
Mediawiki (so we can install it on the German WP Doku as well)?

Regards,
Christian