| OLD | NEW |
| (Empty) |
| 1 <div id="gc-footer"> | |
| 2 <button class="google-button" id="scroll-to-top">↑</button> | |
| 3 <button class="google-button" id="send-feedback">Send Feedback</button> | |
| 4 <div class="text"> | |
| 5 <p> | |
| 6 Except as otherwise <a href="http://code.google.com/policies.html#restrict
ions">noted</a>, | |
| 7 the content of this page is licensed under the <a rel="license" href="http
://creativecommons.org/licenses/by/3.0/">Creative Commons | |
| 8 Attribution 3.0 License</a>, and code samples are licensed under the | |
| 9 <a rel="license" href="http://code.google.com/google_bsd_license.html">BSD
License</a>. | |
| 10 </p> | |
| 11 <p> | |
| 12 ©2013 Google | |
| 13 </p> | |
| 14 <script src="{{static}}/js/platform_chooser.js" type="text/javascript"></scr
ipt> | |
| 15 <script src="{{static}}/js/popup.js" type="text/javascript"></script> | |
| 16 <script src="{{static}}/js/prettify.js" type="text/javascript"></script> | |
| 17 <script src="{{static}}/js/scroll.js" type="text/javascript"></script> | |
| 18 <script src="{{static}}/js/sidebar.js" type="text/javascript"></script> | |
| 19 <script src="{{static}}/js/tabs.js" type="text/javascript"></script> | |
| 20 <script> | |
| 21 (function() { | |
| 22 // Auto syntax highlight all pre tags. | |
| 23 var preElements = document.getElementsByTagName('pre'); | |
| 24 for (var i = 0; i < preElements.length; i++) { | |
| 25 var preElement = preElements[i]; | |
| 26 preElement.classList.add('prettyprint'); | |
| 27 var datasetFilename = preElement.getAttribute('data-filename'); | |
| 28 if (datasetFilename) { | |
| 29 var filename = document.createElement('div'); | |
| 30 filename.className = 'filename nocode'; | |
| 31 filename.textContent = datasetFilename; | |
| 32 preElement.insertBefore(filename, preElement.firstChild); | |
| 33 } | |
| 34 } | |
| 35 prettyPrint(); | |
| 36 })(); | |
| 37 </script> | |
| 38 | |
| 39 <!-- Feedback. --> | |
| 40 <script type="text/javascript" src="//www.gstatic.com/feedback/api.js"></scr
ipt> | |
| 41 <script type="text/javascript"> | |
| 42 (function() { | |
| 43 document.getElementById('send-feedback').addEventListener('click', functi
on() { | |
| 44 userfeedback.api.startFeedback({ productId: 86265 }); | |
| 45 }); | |
| 46 })(); | |
| 47 </script> | |
| 48 </div> | |
| 49 </div> | |
| OLD | NEW |