Fix prefs so they work under 4.2 as well as 4.1.x. This really needs to

be fixed properly sometime though!

functions/prefs.php

@@ -16,7 +16,8 @@ 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' ||
+     substr( phpversion(), 0, 3 ) == '4.2' ) {
     $prefs_are_cached = false;
     $prefs_cache = array();
 }