how does Drupal.org do its PHP input filter?

the one that if you put PHP tags around it it will make nicely formatted and colored code

(may have posted this question on agaric)

Thanks Lullabot!

http://www.lullabot.com/articles/drupal_input_formats_and_filters

Code Filter Renders syntax-highlighted PHP code. This module is used on Drupal.org.