Wrapper around a php.ini prepend file to make various tools globally available on a development machine