/// <summary>
/// Sets one or more options for the menu.
/// </summary>
/// <param name="options">A map of option-value pairs to set.</param>
public void option(MenuOptions options) { }
public static jQuery menu(this jQuery query, MenuOptions options) { return default(jQuery); }