Usage of deprecated function create_function

[atrol]

create_function is used in Source.FilterAPI.php
This function has been DEPRECATED as of PHP 7.2.0

Using the Search page gives

DEPRECATED: 'Function create_function() is deprecated' in '.../plugins/Source/Source.FilterAPI.php' line 204
DEPRECATED: 'Function create_function() is deprecated' in '.../plugins/Source/Source.FilterAPI.php' line 205