Re: PHP 7.2 Migration Guide

Hi docs team! > Ok, I've now added an initial draft of the PHP 7.2 migration guide. > I think I've covered most of the major features and changes, but > there is still a number of smaller things from the UPGRADING file > that have yet to be covered. Whilst most of the migration guide is now done, there's still a few things missing from it. I've made a rough note of these on the back of a napkin[1], so if anyone is available to pick up some of these tasks, then that'd be great! Thanks, Tom [1]: https://gist.github.com/tpunt/d9fd57c87c37a06a1057e970a90cd8df