O PHP 7.2 deixou de ter suporte para as funções do módulo MCrypt.
Durante algum tempo tive uma máquina virtual com uma versão antiga do PHP, para poder receber dados cifrados por uma aplicação Android que desenvolvi. Hoje decidi resolver o problema e descobri que a solução era muito mais fácil do que pensava ser.
Para ter acesso às funções do módulo MCrypt, bastou instalar o módulo MCrypt do PECL, com o seguinte comando:
pecl install mcrypt
Antes disso, tive que atualizar o PHP da versão antiga para a versão atual 7.3.11. E depois, tive que incluir a seguinte linha no ficheiro php.ini:
extension=mcrypt
Reiniciei o Apache, e as funções mcrypt já estão disponíveis.