PHP: handle $ in double-quoted string