Sort menu items according to priority descending, then title ascending
Merge pull request #1143 from svandragt/3.1

ENHANCEMENT Sort menu items according to priority descending, then title ascending