simplify prefs tabs names

diff --git a/prefs.php b/prefs.php
index 72500d87a5544de01b9ff26de5a2034824c1e49b..2ddf9cffb37d0bf1d4f0f271e3d74e74eb84a32f 100644 (file)
--- 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>