PHPOpenGL and PHPGLUT extension version display by php -i