Move timezone setting to settings.php

includes/page.php

@@ -55,7 +55,6 @@ function get_banner_name($row) {
 
 function millis_to_date($millis) {
     global $date_format;
-    date_default_timezone_set("UTC");
     return date($date_format, $millis / 1000);
 }
 
@@ -90,9 +89,7 @@ function print_page_header($title) {
 function print_table_headers($headers) {
     echo("<thead><tr>");
     foreach ($headers as $header) {
-        echo('<th><div style="text-align: center;">');
-        echo($header);
-        echo('</div></th>');
+        echo '<th><div style="text-align: center;">', $header, '</div></th>';
     }
     echo("<tbody>");
 }

includes/settings.php

@@ -27,6 +27,7 @@ $table_prefix = "";
 // Example of default:
 // July 2, 2015, 9:19 pm
 $date_format = 'F j, Y, g:i a';
+date_default_timezone_set("UTC");
 
 $driver = 'mysql';
 

mutes.php

@@ -31,8 +31,7 @@
                             ?>
                         </td>
                     </tr>
-                <?php }
-                ?>
+                <?php } ?>
             </table>
         </div>
     </div>

warnings.php

@@ -32,9 +32,7 @@
                             <?php echo $row['warned'] ? "Yes" : "No"; ?>
                         </td>
                     </tr>
-                <?php }
-                ?>
-                </tbody>
+                <?php } ?>
             </table>
         </div>
     </div>