On 18-12-2019 16:40, Marvin W wrote:
[..]

Also that's a weird counting there, usually I would expect end to point to the position after the last referenced character - at least that's what you do in most programming languages (e.g. "&&&"[0:14] will give you "&&&amp" without the last ";").

I'd not be opposed to changing the definition of 'end' here. Twitter Entities [1] also points to the character after.

[1] https://developer.twitter.com/en/docs/tweets/data-dictionary/overview/entities-object

--
ralphm

_______________________________________________
Standards mailing list
Info: https://mail.jabber.org/mailman/listinfo/standards
Unsubscribe: [email protected]
_______________________________________________

Reply via email to