XWIKI-11262: Capitalize "Extensions Manager" options from Administration
Merge pull request #349 from msmeria/patch-3

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