From f07bf7b1b6d1f82c608146cc5325eb9b329f1ab6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 1 Aug 2022 11:22:06 +0200
Subject: [PATCH] main: Remove log compatibility

global.log() hasn't been used since 3.6. It seems extremely unlikely
that any extensions are still using it, not least because `log()` is
more convenient.

Time to move on.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2830>
---
 js/ui/main.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/js/ui/main.js b/js/ui/main.js
index ece091319..e1cc25afa 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -169,10 +169,6 @@ function _loggingFunc(...args) {
 async function start() {
     globalThis.log = _loggingFunc;
 
-    // These are here so we don't break compatibility.
-    global.logError = globalThis.log;
-    global.log = globalThis.log;
-
     // Chain up async errors reported from C
     global.connect('notify-error', (global, msg, detail) => {
         notifyError(msg, detail);