Capistrano extension for PHP