Bookmarks for January 14, 2019 Geocoder Library of PHP tools for working with different geocoding providers. Switching the default PHP version on CLI on Homestead It took me too long to find this, and I know I'm going to need it again.