Pinning php-parser