ignore /web/dev.php