Long ago, we monkey-patched the String class to include a strip()

method. This is now in the standard library as trim(), and we've

deprecated our version. This change fixes two places that still used it

that I had missed.

Ran js-tests and saw that the deprecation warnings were no longer

showing up in the console.