Using PHP str_replace: an Example with Arrays of Strings