1 files changed, 1 insertions, 0 deletions
diff --git a/prefs.php b/prefs.php
index 0c036d99f..75cf932c1 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,6 +1,7 @@
 <?
 	session_start();
 
+	require_once "sanity_check.php";
 	require_once "version.php"; 
 	require_once "config.php";
 	require_once "db-prefs.php";