53 window.tempFormat = <?php echo "'$tempFormat'" ?>; |
53 window.tempFormat = <?php echo "'$tempFormat'" ?>; |
54 window.beerName = <?php echo "\"$beerName\""?>; |
54 window.beerName = <?php echo "\"$beerName\""?>; |
55 window.profileName = <?php echo "\"$profileName\""?>; |
55 window.profileName = <?php echo "\"$profileName\""?>; |
56 window.dateTimeFormat = <?php echo "\"$dateTimeFormat\""?>; |
56 window.dateTimeFormat = <?php echo "\"$dateTimeFormat\""?>; |
57 window.dateTimeFormatDisplay = <?php echo "\"$dateTimeFormatDisplay\""?>; |
57 window.dateTimeFormatDisplay = <?php echo "\"$dateTimeFormatDisplay\""?>; |
58 </script> |
58 </script> --> |
59 <script type="text/javascript" src="js/main.js"></script> |
59 <script type="text/javascript" src="js/main.js"></script> |
60 <script type="text/javascript" src="js/device-config.js"></script> |
60 <!-- <script type="text/javascript" src="js/device-config.js"></script> |
61 <script type="text/javascript" src="js/control-panel.js"></script> |
61 <script type="text/javascript" src="js/control-panel.js"></script> |
62 <script type="text/javascript" src="js/maintenance-panel.js"></script> |
62 <script type="text/javascript" src="js/maintenance-panel.js"></script> |
63 <script type="text/javascript" src="js/beer-chart.js"></script> |
63 <script type="text/javascript" src="js/beer-chart.js"></script> |
64 <script type="text/javascript" src="js/profile-table.js"></script> --> |
64 <script type="text/javascript" src="js/profile-table.js"></script> --> |
65 </body> |
65 </body> |