Opera Mobile Extensions Menu Published April 6, 2012 at × in Opera Labs Brings Extensions to Opera Mobile for Android