Fixed bug #11905: Extension Manager is not translatable (part 3) (thanks to Christoph...