ndefined") {
         console.log = function(){};
      }
   </script>
   <!-- Application stuff -->
   <script type="text/javascript" src="app/cm/page.js"></script>
   <script type="text/javascript" src="app/cm/help.js"></script>
   <script type="text/javascript" src="app/cm/repo.js"></script>
   <script type="text/javascript" src="app/cm/settings.js"></script>
   <script type="text/javascript" src="app/cm/import.js"></script>
   <script type="text/javascript" src="app/cm/export.js"></script>
   <script ty