Rename 'class-wp-nav-menu-widget.php'