Separate names with a comma.
Working on a PHP binary + PHP extensions backup and restore tool, tools/php-binary-backup.sh. This is a companion tool to...