Re: [xwiki-devs] edit menu options question