Thanks to Simon Dick for making the db_prefs work again\!

functions/db_prefs.php

@@ -39,7 +39,7 @@ global $prefs_are_cached, $prefs_cache;
 if ( !session_is_registered('prefs_are_cached') ||
      !isset( $prefs_cache) ||
      !is_array( $prefs_cache) ||
-     substr( phpversion(), 0, 3 ) == '4.1 ) {
+     substr( phpversion(), 0, 3 ) == '4.1' ) {
     $prefs_are_cached = false;
     $prefs_cache = array();
 }