diff options
| author | Florian Pritz <bluewind@xinu.at> | 2012-10-26 11:24:05 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2012-10-26 11:24:05 +0200 |
| commit | ff574fd0c1c64768a034e24cd3d46145af77fa2d (patch) | |
| tree | 57e6dade5577c6cc7fbd3c5fcc2611b5daa105a9 /application/views/header.php | |
| parent | 50b4e4097c9321b85f287e75cb12ad8794141b5d (diff) | |
fix handling of special chars in lexer names
xml+php would break twice because + isn't an allowed char and because
urldecode() converts it to a space. We fix this by providing a proper
urlencoded string.
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/views/header.php')
0 files changed, 0 insertions, 0 deletions