Add a new node attribute in json for vagrantfiles, use upstream for php-extra