PHP 7.2

I upgraded my site from PHP 5.6 to PHP 7.2 today and checked compatibility of my plugins. Auto-Install Free SSL generated 8 errors:
==
FILE 1: auto-install-free-ssl/vendor/usrflo/registered-domain-libs/generateEffectiveTLDs.php
———————————————————————————-
153 | ERROR | Function split() is deprecated since PHP 5.3 and removed since PHP 7.0; Use preg_split() instead
179 | ERROR | Function split() is deprecated since PHP 5.3 and removed since PHP 7.0; Use preg_split() instead
———————————————————————————-
FILE 2: auto-install-free-ssl/vendor/ircmaxell/password-compat/lib/password.php
———————————————————————————-
FOUND 3 ERRORS AFFECTING 1 LINE
———————————————————————————-
105 | ERROR | Function mcrypt_create_iv() is deprecated since PHP 7.1 and removed since PHP 7.2; Use random_bytes() or OpenSSL instead
105 | ERROR | Extension ‘mcrypt’ is deprecated since PHP 7.1 and removed since PHP 7.2; Use openssl (preferred) or pecl/mcrypt once available instead
105 | ERROR | The constant “MCRYPT_DEV_URANDOM” is deprecated since PHP 7.1 and removed since PHP 7.2
———————————————————————————-
FILE 3: /auto-install-free-ssl/FreeSSLAuto/src/Admin/Factory.php
———————————————————————————-
FOUND 3 ERRORS AFFECTING 1 LINE
———————————————————————————-
133 | ERROR | Function mcrypt_create_iv() is deprecated since PHP 7.1 and removed since PHP 7.2; Use random_bytes() or OpenSSL instead
133 | ERROR | Extension ‘mcrypt’ is deprecated since PHP 7.1 and removed since PHP 7.2; Use openssl (preferred) or pecl/mcrypt once available instead
133 | ERROR | The constant “MCRYPT_DEV_URANDOM” is deprecated since PHP 7.1 and removed since PHP 7.2