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

No need to revert it's not been pushed ;)