We don't analyze php-src anymore