update from php 7.2-rc to (the new) php 7.2 (#1417)
update from php 7.2-rc to (the new) php 7.2 (#1417)


miniplay/Elastica,giovannialbero1992/Elastica,giovannialbero1992/Elastica,p365labs/Elastica,miniplay/Elastica,stof/Elastica,p365labs/Elastica,ruflin/Elastica,stof/Elastica