Что нового в PHP 7.2 (улучшения, безопасность)

Обзорная статья о том, какие изменения нас ждут в PHP 7.2, который должен выйти уже в конце ноября. Список, между прочим, немаленький.