extensions: Stop using global.log()

It has been deprecated since 3.6(!) in favor of the actually
global log().

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/264>

extensions/user-theme/extension.js

@@ -43,9 +43,9 @@ export default class ThemeManager {
         }
 
         if (stylesheet)
-            global.log(`loading user theme: ${stylesheet}`);
+            log(`loading user theme: ${stylesheet}`);
         else
-            global.log('loading default theme (Adwaita)');
+            log('loading default theme (Adwaita)');
         Main.setThemeStylesheet(stylesheet);
         Main.loadTheme();
     }

extensions/windowsNavigator/extension.js

@@ -212,7 +212,7 @@ class MyWorkspacesView extends WorkspacesView.WorkspacesView {
                 c = o.get_key_symbol() - Clutter.KEY_0;
                 if (c > 9 || c <= 0) {
                     this._hideTooltips();
-                    global.log(c);
+                    log(c);
                     return false;
                 }
             }