First fix of PHP 8.2 deprecated errors. Not seen with $go_debug = 0, but error.log...
[fa-stable.git] / includes / prefs / userprefs.inc
index 0f3684776a92d622a34befb0d4d18a6ece56f07a..24cd15c5cca9dbdc353025230122916ae284a341 100644 (file)
@@ -9,7 +9,8 @@
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  
     See the License here <http://www.gnu.org/licenses/gpl-3.0.html>.
 ***********************************************************************/
-class user_prefs 
+
+class user_prefs extends \stdClass
 {
 
        var $language;
@@ -41,7 +42,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