Toolset Types 3.1.2 Compatibility with PHP 7.2

We’re preparing to upgrade our clients to PHP 7.2 and assessing the compatibility of our plugins with this version of PHP. When we ran our tests on version of Types 3.1.2 we turned up a number of warnings, but no errors.

I’ve included the warnings below and I was wondering if we could get confirmation of if Types is compatible with PHP 7 and if not, if there was an estimated date when it would be.

Name: Toolset Types

FILE: /webroot/wp-content/plugins/types/vendor/twig/twig/lib/Twig/Lexer.php
------------------------------------------------------------------------------------------------------
FOUND 0 ERRORS AND 2 WARNINGS AFFECTING 2 LINES
------------------------------------------------------------------------------------------------------
 87 | WARNING | INI directive 'mbstring.func_overload' is deprecated since PHP 7.2
 91 | WARNING | INI directive 'mbstring.func_overload' is deprecated since PHP 7.2
------------------------------------------------------------------------------------------------------

FILE: /webroot/wp-content/plugins/types/vendor/twig/twig/lib/Twig/Compiler.php
---------------------------------------------------------------------------------------------------------
FOUND 0 ERRORS AND 1 WARNING AFFECTING 1 LINE
---------------------------------------------------------------------------------------------------------
 218 | WARNING | INI directive 'mbstring.func_overload' is deprecated since PHP 7.2
---------------------------------------------------------------------------------------------------------