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

Yes, the others are capitalized in the translations.