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