Why `%23` in `a.href` is decoded to `#`?

[Hywan]

Hello,

We have an issue here hoaproject/W3#135. We have this kind of links:

[link](https://img.shields.io/badge/help-%23hoaproject-ff0066.svg)

that is converted to the following HTML:

<a href="https://img.shields.io/badge/help-#hoaproject-ff0066.svg">link</a>

Which is not what we expect. The %23 must not be converted to # in this case.

Are we missing something 😄?

Thanks for your great tool!

[colinodell]

This might be a bug with PHP's rawurldecode() function. I'll see if I can find a better alternative which preserves %23 in these cases.

[Hywan]

Thanks!

[Hywan]

cc @Metalaka @vonglasow @lyrixx

[colinodell]

Fixed via 7d91ca0. I'll be releasing 0.15.6 with this fix once Travis confirms all the tests are passing.

[colinodell]

https://github.com/thephpleague/commonmark/releases/tag/0.15.6

[Hywan]

Sounds good, thanks 👍!