Utilities and plugins for use with php_compatinfo