Page Comparison

...

Unter dem Reiter "Installation History" muss der Eintrag "Current Installation" angewählt und in der unteren Ansicht die verschwundene Extension selektiert werden. Mit der Option "Revert" kann es sie wiederhergestellt werden. 

...