PHP 7.2 Slated to Release in November 2017