Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  b85615da7e14fb1b6d6f1baf1af2795fb35de435

Tooltips in preference page get double-escaped

bug: 53112
Change-Id: Ic39c807506334c3c5d8251384314c09ae96b3c3a