The table sorter did not work if jQuery and MooTools were active (see #5228)