Menu
Hi,
Maybe someone could jog my memory, I’m sure I’ve done this before, although a few years ago.
I have a list of mobile numbers pulled from AD/LDAP, ($info[$i][“mobile”][0]) that are all in a single long string, i.e. 07812345678, I’d like to insert a whitespace at the 5th character, to make it more user friendly, so it looks like 07812 345678.
Isn’t there a function, where you can insert a character a certain number of positions either from left or right of the string? I’m sure I used something like this back in PHP4, but maybe my memory isn’t what it used to be!
Is there such a function, or am I just imagining it? ?
Ben