Comment 6 for bug 853882

Traceback (most recent call last):
  File "/usr/bin/gnome-shell-extension-tool", line 151, in <module>
    subprocess.Popen(['gnome-open', extensionjs_path])
NameError: name 'extensionjs_path' is not defined

ii gnome-shell 3.2.0-0ubuntu1