Deprecated create_function notice in php 7.2

Looks like there are two places where this plugin is calling a deprecated function, create_function() (Deprecated in php 7.2).

Here’s what I believe to be a fix: replace line 216 of widgets/SectionMenuWidget.php with this:

function register_JC_Section_Menu_Widget() {
     register_widget( "JC_Section_Menu_Widget" );
}
add_action( 'widgets_init', 'register_JC_Section_Menu_Widget' );

And replace line 189 of widgets/SplitMenuWidget.php with this:

function register_JC_Split_Menu_Widget() {
	register_widget( "JC_Split_Menu_Widget" );
}
add_action( 'widgets_init', 'register_JC_Split_Menu_Widget' );

Would you be able to update that to help eliminate the notification nags?