Add title attribute for settings menu

plugins/managesieve/localization/en_US.inc

@@ -182,6 +182,8 @@ $labels['arialabelfilteractions'] = 'Filter actions';
 $labels['arialabelfilterform'] = 'Filter properties';
 $labels['ariasummaryfilterslist'] = 'List of filters';
 $labels['ariasummaryfiltersetslist'] = 'List of filter sets';
+$labels['filterstitle'] = 'Edit incoming mail filters';
+$labels['vacationtitle'] = 'Edit out-of-office rule';
 
 $messages = array();
 $messages['filterunknownerror'] = 'Unknown server error.';

plugins/managesieve/managesieve.php

@@ -109,6 +109,7 @@ class managesieve extends rcube_plugin
                 'class'  => 'filter',
                 'label'  => 'filters',
                 'domain' => 'managesieve',
+                'title'  => 'filterstitle',
             );
         }
 
@@ -119,6 +120,7 @@ class managesieve extends rcube_plugin
                 'class'  => 'vacation',
                 'label'  => 'vacation',
                 'domain' => 'managesieve',
+                'title'  => 'vacationtitle',
             );
         }