PHP 7.3 compatibility issues with WP Responsive Menu 3.1.4

The following are the first several lines describing the issues:

FILE: /wp-content/plugins/wp-responsive-menu/inc/wprmclass.php
-----------------------------------------------------------------------------------------------------------------------------------------------
FOUND 123 ERRORS AND 1 WARNING AFFECTING 107 LINES
-----------------------------------------------------------------------------------------------------------------------------------------------
  14 | WARNING | Function name "__construct" is discouraged; PHP has reserved all method names with a double underscore prefix for future use.
  15 | ERROR   | "$this" can no longer be used in a plain function or method since PHP 7.1.
  16 | ERROR   | "$this" can no longer be used in a plain function or method since PHP 7.1.
  19 | ERROR   | "$this" can no longer be used in a plain function or method since PHP 7.1.
  21 | ERROR   | "$this" can no longer be used in a plain function or method since PHP 7.1.

……