logout fixes

logout.php

@@ -0,0 +1,11 @@
+<?php
+	require_once "functions.php"; 
+	require_once "sessions.php";
+	require_once "sanity_check.php";
+	require_once "version.php"; 
+	require_once "config.php";
+	require_once "db-prefs.php";
+
+	logout_user();
+	header("Location: tt-rss.php");
+?>

prefs.php

@@ -83,7 +83,7 @@ window.onload = init;
 	<?php if (!SINGLE_USER_MODE) { ?>
 		<div style="float : right">
 			<?php echo _('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b>
-			(<a href="javascript:logoutUser()">Logout</a>)
+			(<a href="logout.php">Logout</a>)
 		</div>
 	<?php } ?>
 	<img src="<?php echo $theme_image_path ?>images/ttrss_logo.png" alt="Tiny Tiny RSS"/>	

tt-rss.php

@@ -101,7 +101,7 @@ window.onload = init;
 	<div style="float : right">
 	<?php if (!SINGLE_USER_MODE) { ?>
 			<?php echo _('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b>
-			(<a href="javascript:logoutUser()">Logout</a>)
+			(<a href="logout.php">Logout</a>)
 	<?php } ?>
 	<img id="newVersionIcon" onclick="javascript:explainError(2)" 
 		src="images/new_version.png" title="New version is available!"