wordpress-dev-env/wordpress_plugins/wp-config-file-editor/Libraries/JavaScript/jQueryMenu.class.php

<?php
/**
* 
*/

/**
* 
*/
namespace WCFE\Libraries\JavaScript;

# Script resource
use WPPFW\Services\Queue\ScriptResource;

/**
* 
*/
class jQueryMenu extends ScriptResource {
	
	/**
	* put your comment there...
	* 
	* @var mixed
	*/
	protected $fileName = 'jquery-menu-ui.min.js';
	
}