#353515: Many characters could get incorrectly translated in exposed filters combined with ajax tablesorting.