Move plugin configuration to config.inc.php.dist

Bartlomiej Nogas

2014-10-20 d6c1a1af9db1d30636d53018f5d353ca1d1b4916

 plugins/jqueryui/js/jquery-ui-1.10.4.custom.min.js

@@ -208,7 +208,7 @@
         .attr('tabindex', inst.inline ? '0' : '-1')
         .attr('role', 'grid')
         .attr('aria-readonly', 'true')
         .attr('aria-activedescendant', activeCell.attr('id') || '')
         .attr('aria-activedescendant', activeCell ? activeCell.attr('id') : '')
         .find('td').attr('role', 'gridcell').attr('aria-selected', 'false')
         .find('a').attr('tabindex', '-1');