aboutsummaryrefslogtreecommitdiff
path: root/src/js/firefox/js/platform-ajax.js
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-06-07 11:59:57 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-06-07 11:59:57 -0700
commit8690d56ff0bbd1031e8cc6788dd2159aac6b7adb (patch)
treed573336305dc756f357f20dd986f77cb3ceafb9b /src/js/firefox/js/platform-ajax.js
parentf42930c2226d07482725b03ad522c106c0bdec8b (diff)
Reorganize the build system
* Move all javascript source to src/js * Update the test runner, etc. * Do less javascript compilation
Diffstat (limited to 'src/js/firefox/js/platform-ajax.js')
-rw-r--r--src/js/firefox/js/platform-ajax.js8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/js/firefox/js/platform-ajax.js b/src/js/firefox/js/platform-ajax.js
new file mode 100644
index 0000000..e32225a
--- /dev/null
+++ b/src/js/firefox/js/platform-ajax.js
@@ -0,0 +1,8 @@
+
+/**
+ * Placeholder function, as all ajax should be done in the backend
+ */
+var fiveui = fiveui || {};
+fiveui.ajax = fiveui.ajax || {};
+
+fiveui.ajax.get = function () {};