jQuery-UI Entwicklungs-Versionen durch Produktiv-Versionen (minfied) ersetzt

Das funktioniert leider nicht mit Tablesorter.