PHP 7.1 Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in _htmLawed_process()

On PHP 7.1

Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in _htmLawed_process()

in htmLawed.module (not the imported library)

if $config['save_php'] is set these can throw the above error

 if (!empty($config['save_php'])) {
    $text = preg_replace(array('`<\?php(.+?)\?>`sme', '`<\?php(.*)$`sme'), array("\"\x83?php\". str_replace(array('<', '>', '&'), array('&lt;', '&gt;', '&amp;'), '$1'). \"?\x84\"", "\"\x83?php\". str_replace(array('<', '>', '&'), array('&lt;', '&gt;', '&amp;'), '$1')"), $text);
  }

and

  if (!empty($config['save_php'])) {
    $text = preg_replace(array('`\x83\?php(.+?)\?\x84`sme', '`\x83\?php(.*)$`sme'), array("'<?php'. str_replace(array('&amp;', '&lt;', '&gt;'), array('&', '<', '>'), '$1'). '?>'", "'<?php'. str_replace(array('&amp;', '&lt;', '&gt;'), array('&', '<', '>'), '$1')"), $text);
  }