Adapt stylesheets to recent changes in jQuery UI 1.9

Thomas Bruederli

2012-11-21 5e1775691ce503521745f6380cadb7a295bd681d

1
2
3
4
5
6
7
8
<?php
 
$labels = array();
$labels['buttontext'] = 'Junk';
$labels['buttontitle'] = 'Mark as Junk';
$labels['reportedasjunk'] = 'Successfully reported as Junk';
 
?>