diff mgtool.php @ 240:dee1a11e71e9

Use htmlspecialchars() instead of htmlentities().
author Matti Hamalainen <ccr@tnsp.org>
date Wed, 28 Mar 2018 13:24:53 +0300
parents 438277861f51
children abcd21b01829
line wrap: on
line diff