Travis: test lint on 5.3
Fix linting on php 5.3.3