:D
Just need to test (or ask Tim for confirmation) if it creates the patch properly for the extensions, or need to make it do diffs of the extensions directory also...
Have you made the tests? Since 1.18.0 was released with this script, I am assuming it should be fine today :)
Won't actually know till 1.18.1, we don't do major release patches, only between minor. And of coure
There's no reason to believe it won't, as it's not hardcoded as what to diff
So marking it OK. Will be fixed later if needed.