Add title attribute for settings menu

Aleksander Machniak

2014-06-16 ebc9877defcfa41c8705989286788253086f3958

Add title attribute for settings menu

 plugins/managesieve/localization/en_US.inc

@@ -182,6 +182,8 @@
$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'  => 'filter',
                'label'  => 'filters',
                'domain' => 'managesieve',
                'title'  => 'filterstitle',
            );
        }

@@ -119,6 +120,7 @@
                'class'  => 'vacation',
                'label'  => 'vacation',
                'domain' => 'managesieve',
                'title'  => 'vacationtitle',
            );
        }