Menu: Converted mobile panel menu to multiple WAI-ARIA menus
Merge pull request #4128 from pjackson28/switchmobilepaneltowaiariamenu

Menu: Converted mobile panel menu to multiple WAI-ARIA menus
Menu: Added minimum widths for the mobile panel (fixes #4116)
Merge pull request #4129 from pjackson28/minwidthsmenupanel

Menu: Added minimum widths for the mobile panel (fixes #4116)
Changed tables search label to filter
Merge pull request #4125 from jeresiv/v4.0-tables

Changed tables search label to filter