A wordpress plugin for a mobile navigation menu