Add title attribute for settings menu

Aleksander Machniak

2014-06-16 ebc9877defcfa41c8705989286788253086f3958

 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.';