On 04/17/2015 04:31 PM, Petr Vobornik wrote: > Improve performance of Web UI with very large user groups or any other > usage which adds a lot of values into jQuery.ordered_map. > > ACK -- Martin^3 Babinsky