There is this post:
PHP Subtract First Character of String
It advices me to use substr(...);
I want to keep a rolling text to log if an error occurs, (The 1000 latest characters from a stream) but it seems like there would be a better way than to create a 1000 character string from a 1001 character string, then assigning that string to the latter.
I will be doing this in a very tight loop, so performance should not be negligible (even though I haven't measure this yet).
Is there any way to delete first character of a string in-place?