Skin.php: HTML escape message pipe-separator
authorFomafix <fomafix@googlemail.com>
Wed, 13 Sep 2017 10:37:36 +0000 (12:37 +0200)
committerFomafix <fomafix@googlemail.com>
Wed, 13 Sep 2017 10:37:36 +0000 (12:37 +0200)
commitce75f790bc5e7dd08818d3ad2dab685e0ef50de0
treeab6183767c27a883574dc85235c35d4b4d320447
parent083c0dce4e3aa11e270633512668d0539066d453
Skin.php: HTML escape message pipe-separator

This prevents HTML and JavaScript injections.

Change-Id: I6241dadf29e96aa1aa15324a3edc51538214345d
includes/skins/Skin.php