PHP 7.2 and 7.3 available

• PHP 7.2 and 7.3 are now available. Notable changes are:
  • mcrypt extension got removed in PHP 7.2.
  • From PHP 7.2 on, the memcache extension has been replaced by memcached extension.

---