XWIKI-11262: Capitalize "Extensions Manager" options from Administration