php: parse phpinfo