php stub file for PHP Highlight generated with SWIG