highlight
highlight copied to clipboard
We might not need `IgnoreToken` anymore
This used to be added in order to prevent collisions between blade comment {{-- and deletion tags {{-, but I think this has been fixed in another way now, and we can get rid of this part.