ignore PHP 5.3 when crawling