12.5. html_syntax.php

This script is used in the build process to syntax highlight PHP examples both for the online and downloadable manuals.