From af03c001e406fdfab8a5b1f0702630aa5c9c9096 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.spb.su>
Date: Sun, 18 Jan 2009 10:24:37 +0100
Subject: [PATCH] simplify prefs tabs names

---
 prefs.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prefs.php b/prefs.php
index 72500d87a..2ddf9cffb 100644
--- a/prefs.php
+++ b/prefs.php
@@ -139,12 +139,12 @@ window.onload = init;
 		<!-- <div id="pubItemsTab" class="prefsTab" 
 			onclick="selectTab('pubItems')"><?php echo __('Published Articles') ?></div> -->
 		<div id="filterConfigTab" class="prefsTab" 
-			onclick="selectTab('filterConfig')"><?php echo __('Content Filtering') ?></div>
+			onclick="selectTab('filterConfig')"><?php echo __('Filters') ?></div>
 		<div id="labelConfigTab" class="prefsTab" 
-			onclick="selectTab('labelConfig')"><?php echo __('Label Editor') ?></div>
+			onclick="selectTab('labelConfig')"><?php echo __('Labels') ?></div>
 		<?php if ($_SESSION["access_level"] >= 10) { ?>
 		<div id="userConfigTab" class="prefsTab" 
-			onclick="selectTab('userConfig')"><?php echo __('User Manager') ?></div>
+			onclick="selectTab('userConfig')"><?php echo __('Users') ?></div>
 		<?php } ?>		
 </div>