Enabling getExtension and getSupportedExtensions.

I'm using these to enable the "standard derivatives" extension to perform some *really handy* operations (http://goo.gl/5ndwv), and implementing them was straightforward, so I feel like this is a low risk change.

Were these "TODO"'d because browser support wasn't there, or because getExtension() spits out something that's typed Dynamic?