从 16.04 更新到 18.04 也会将 PHP 7.0 更新到 7.2，这是不受欢迎的

Question

我已将 Ubuntu 16.04 服务器更新至 18.04。升级脚本 (do-release-upgrade) 运行正常，但它也会在未经询问的情况下将 PHP7.0 更新至 PHP7.2。问题是我使用的 PHP 脚本与 PHP7.2 不兼容，而且我现在不想升级 PHP。

由于我已经在 VMWare 虚拟机上做过升级测试，因此我可以轻松重新启动整个过程。

但是如何防止升级脚本更新PHP7.0呢？

谢谢。