updated textwrangler (4.5.12)

Closes #8311.