PHP7 compatibility fixes.

[fa-stable.git] / includes / prefs / userprefs.inc

diff --git a/includes/prefs/userprefs.inc b/includes/prefs/userprefs.inc
index 0f3684776a92d622a34befb0d4d18a6ece56f07a..863dc1fab05f8a74a8583aef68e9e4a8ddba3bf6 100644 (file)
--- a/includes/prefs/userprefs.inc
+++ b/includes/prefs/userprefs.inc
@@ -41,7 +41,7 @@ class user_prefs
        var $def_print_destination; // default print destination. 0 = PDF/Printer, 1 = Excel
        var $def_print_orientation; // default print orientation. 0 = Portrait. 1 = Landscape
 
-       function user_prefs($user=null)
+       function __construct($user=null)
        {
                if ($user == null) { 
                        // set default values, used before login