Jannis Moßhammer e0f0e1fc13 Fix history api URI encoding
The history API encoded components multiple times, e.g. causing a [ to
be converted to %5B in the first link, then to %255B on the second link,
%25255B on the third, etc.

refs #4408
2013-07-15 13:03:12 +02:00
..
2013-07-15 13:03:12 +02:00
2013-06-27 15:26:19 +02:00
2013-06-19 13:22:02 +02:00