Fix up missing getExtensions in WebGL Shader Translator utility

I was in a bit of a hurry when submitting this, this pull request adds missing functionality and corrects small mistakes.