Speed up php linting by not parsing php.ini ( some extensions delay the process )