[gnome-shell] shell-extension-tool: Fix typo

[Florian Müllner <fmuellner src gnome org>]

commit c6580421b318260a5fc30f06daf548c955bf570e
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Aug 27 11:55:54 2019 +0300

    shell-extension-tool: Fix typo
    
    Spotted by Amr Ibrahim.

 src/gnome-shell-extension-tool.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in
index 74a638fb42..fb3d0d81a8 100755
--- a/src/gnome-shell-extension-tool.in
+++ b/src/gnome-shell-extension-tool.in
@@ -20,7 +20,7 @@ def disable_extension(uuid):
     extension_command(["disable", uuid])
 
 def reload_extension(uuid):
-    print("Reloading extensions does not wokr correctly and is no longer supported",
+    print("Reloading extensions does not work correctly and is no longer supported",
           file=sys.stderr)
 
 def main():