Package changes:
+php7.2-intl 7.2.10-0ubuntu0.18.04.1 amd64
maybe chmod 0644 'php/7.2/mods-available/gettext.ini'
maybe chmod 0644 'php/7.2/mods-available/iconv.ini'
maybe chmod 0644 'php/7.2/mods-available/igbinary.ini'
+maybe chmod 0644 'php/7.2/mods-available/intl.ini'
maybe chmod 0644 'php/7.2/mods-available/json.ini'
maybe chmod 0644 'php/7.2/mods-available/mbstring.ini'
maybe chmod 0644 'php/7.2/mods-available/memcache.ini'
--- /dev/null
+/etc/php/7.2/mods-available/intl.ini
\ No newline at end of file
--- /dev/null
+/etc/php/7.2/mods-available/intl.ini
\ No newline at end of file
--- /dev/null
+; configuration for php intl module
+; priority=20
+extension=intl.so