Fix wrong search result on servers without SORT support

Aleksander Machniak

2012-08-11 2c59937c6af621f16fd31e9ce6ac01b25151bda5

1
2
3
4
5
6
7
8
9
<?php
 
$labels = array();
$labels['buttontext'] = 'Archive';
$labels['buttontitle'] = 'Archive this message';
$labels['archived'] = 'Successfully archived';
$labels['archivefolder'] = 'Archive';
 
?>