Function create_function() is deprecated

Hi,

are you aware of https://sourceforge.net/p/geshi/bugs/247/?

/wp-content/plugins/wp-syntax/geshi/geshi.php on line 4751

Or have you already a fix for geshi.php?

Thank you!

Best regards,