page: prefer dutch time zone for all users

Local times [in user overviews] on foreign servers [Xenat].

diff --git a/auth.inc.php b/auth.inc.php
index 4916ab133f3174f451c8a99ebccbadc778863b1f..2edfa7a0ef3012db39bcf50d5d7b1a83988b10a3 100644 (file)
--- a/auth.inc.php
+++ b/auth.inc.php
@@ -1,4 +1,6 @@
 <?php
+date_default_timezone_set('Europe/Amsterdam');
+
 function login_password_verify($input, $test)
 {
        if (substr($test, 0, 1) != '$') {