diff options
author | Andrew Dolgov <[email protected]> | 2023-10-25 12:55:09 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2023-10-25 12:55:09 +0300 |
commit | 865ecc87963dc3b26e66296616eef2a1cc41ac3f (patch) | |
tree | bf2ecd8a391103bdb2c8b70cd33c47467310754b /classes/db/prefs.php | |
parent | 0a5507d3bd79d04c860455664f919bf8e7274fda (diff) |
move to psr-4 autoloader
Diffstat (limited to 'classes/db/prefs.php')
-rw-r--r-- | classes/db/prefs.php | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/classes/db/prefs.php b/classes/db/prefs.php deleted file mode 100644 index 209ef58c1..000000000 --- a/classes/db/prefs.php +++ /dev/null @@ -1,18 +0,0 @@ -<?php -class Db_Prefs { - // this class is a stub for the time being (to be removed) - - /** - * @return bool|int|null|string - */ - function read(string $pref_name, ?int $user_id = null, bool $die_on_error = false) { - return get_pref($pref_name, $user_id); - } - - /** - * @param mixed $value - */ - function write(string $pref_name, $value, ?int $user_id = null, bool $strip_tags = true): bool { - return set_pref($pref_name, $value, $user_id, $strip_tags); - } -} |