XWIKI-11262: Capitalize "Extensions Manager" options from Administration
(cherry picked from commit e2a36b4b00f38f6d068a8d494403cf0566518ae5)