php lint: proper php extension validate