[php] PHP removing a character in a string