Doug Bird bdc2689beb skip php option ... generating the PHP format file is now optional: - if the PHP command is unavailable, the PHP format file is automatically skipped - if the --skip-php option is provided, the PHP format file is always skipped - if the --force-php option is provided, the PHP command line MUST exist		2018-06-12 17:13:24 -07:00
..
helpers	automated format generation	2017-12-13 20:49:59 -08:00
update-formats.sh	skip php option	2018-06-12 17:13:24 -07:00