Revert and use jquery 1.9.0 to fix tabbing problem temporarily.
- Version 1.9.0 has problems with jquery-ui, however 1.8.3 causes
the tabs on the UI to break. This needs to be resolved.
--- a/playground/index.html Mon Jul 08 14:08:22 2013 -0400
+++ b/playground/index.html Mon Jul 08 14:09:59 2013 -0400
@@ -23,7 +23,7 @@
<link rel="shortcut icon" href="../favicon.ico" />
<!-- script tags -->
- <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.8.3/jquery.min.js"></script>
+ <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.9.0/jquery.min.js"></script>
<script type="text/javascript" src="jquery-ui-1.8.14.custom.min.js"></script>
<script type="text/javascript" src="js_beautify.js"></script>
<script type="text/javascript" src="../common/prettify.js"></script>