1 files changed, 0 insertions, 39 deletions
diff --git a/modules/developer/js/developer.js b/modules/developer/js/developer.js
deleted file mode 100644
index 78a95af4..00000000
--- a/modules/developer/js/developer.js
+++ /dev/null
@@ -1,39 +0,0 @@
-$("#gDeveloperTools").ready(function() {
-  $("#gDeveloperTools").tabs();
-});
-
-var module_success = function(data) {
-  $("#gGenerateModule").after('<div id="moduleProgress" style="margin-left: 5.5em;"></div>');
-  $("#moduleProgress").progressbar();
-
-  var task = data.task;
-  var url = data.url;
-  var done = false;
-  while (!done) {
-    $.ajax({async: false,
-      success: function(data, textStatus) {
-        $("#moduleProgress").progressbar("value", data.task.percent_complete);
-        done = data.task.done;
-      },
-      dataType: "json",
-      type: "POST",
-      url: url
-    });
-  }
-  document.location.reload();
-};
-
-function ajaxify_developer_form(selector, success) {
-  $(selector).ajaxForm({
-    dataType: "json",
-    success: function(data) {
-      if (data.form && data.result != "started") {
-        $(selector).replaceWith(data.form);
-        ajaxify_developer_form(selector, success);
-      }
-      if (data.result == "started") {
-        success(data);
-      }
-    }
-  });
-}