Fix mangling to translate dollar signs.

(Manually pulled from external change 10724.)
1 file changed