Tooltips in preference page get double-escaped
Tooltips in preference page get double-escaped

bug: 53112
Change-Id: Ic39c807506334c3c5d8251384314c09ae96b3c3a

wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo