cleanup: Use rest parameters instead of arguments

Spotted by eslint. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/607
2019-02-12 12:24:30 +01:00
parent 0b08ee54bb
commit fe83cd91bb
3 changed files with 11 additions and 10 deletions
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@ -611,8 +611,8 @@ function initEnvironment() {
    // Monkey-patch in a "global" object that fakes some Shell utilities
    // that ExtensionUtils depends on.
    window.global = {
-        log() {
-            print([].join.call(arguments, ', '));
+        log(...args) {
+            print(args.join(', '));
        },

        logError(s) {