Function create_function() is deprecated

Hi, on PHP 7.2 the function create_function() is deprecated. Currently is used on intlinks.module, function: intlinks_title_filter_process().

With the following minor fix it looks fine:

@@ -85,8 +85,9 @@ function intlinks_title_filter_process($text, $filter, $format, $langcode, $cach
   // preg_replace_callback does not support additional parameters.
   // Therefore we use an anonymous function as wrapper to add the language code
   // as dynamic parameter.
-  $intlinks_title_process_link = create_function('$matches',
-    'return _intlinks_title_process_link($matches, "' . $langcode . '");');
+  $intlinks_title_process_link = function($matches) use ($langcode) {
+    return _intlinks_title_process_link($matches, $langcode);
+  };
   return preg_replace_callback('%<a([^>]+?href="([^"]+?)"[^>]*?)>%i',
     $intlinks_title_process_link, $text);
 }

What do you think?