move db-prefs shortcut functions to functions.php

1 files changed, 0 insertions, 1 deletions

diff --git a/prefs.php b/prefs.php
index 141118534..851dd898a 100644
--- a/prefs.php
+++ b/prefs.php
@@ -6,7 +6,6 @@
 	require_once "sessions.php";
 	require_once "functions.php";
 	require_once "sanity_check.php";
-	require_once "db-prefs.php";
 
 	if (!init_plugins()) return;