travis: lint only .php