diff options
author | Trevor Elliott <trevor@galois.com> | 2013-06-07 11:59:57 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-06-07 11:59:57 -0700 |
commit | 8690d56ff0bbd1031e8cc6788dd2159aac6b7adb (patch) | |
tree | d573336305dc756f357f20dd986f77cb3ceafb9b /src/js/firefox/js/platform-ajax.js | |
parent | f42930c2226d07482725b03ad522c106c0bdec8b (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.js | 8 |
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 () {}; |