--- user_old.py	2007-01-14 15:18:54.000000000 +0100
+++ user.py	2007-01-19 16:16:28.000000000 +0100
@@ -248,6 +248,7 @@
         self.datetime_fmt = ""
         self.quicklinks = self._cfg.quicklinks_default
         self.subscribed_pages = self._cfg.subscribed_pages_default
+        self.show_splash = ""
         self.theme_name = self._cfg.theme_default
         self.editor_default = self._cfg.editor_default
         self.editor_ui = self._cfg.editor_ui