Remove one more use of goog.array

diff --git a/web_frontend/path_control.js b/web_frontend/path_control.js
index e9d64eadfde6f06c14ae9923b08fb537a21c73b7..e7ea70e3af12d364cabc5b024a14966905e04037 100644 (file)
--- a/web_frontend/path_control.js
+++ b/web_frontend/path_control.js
@@ -158,7 +158,7 @@ armadillo.PathControl.prototype.fetchMenuContents_ = function(path, name, menu)
     if (path == '') {
       // If this is the root path element, make sure the root is accessible for
       // moving items.
-      goog.array.insertAt(data, '/', 0);
+      data.splice(0, 1, '/');
     }
     menu.empty();
     $.each(data, function (i, caption) {