Handle htmlspecialchars() differences between PHP < 5.4 vs >= 5.4
commit46b112f85711732b62e70f2fb40b866423bbf3b5
authorAndrew McMillan <andrew@morphoss.com>
Thu, 10 Oct 2013 23:32:12 +0000 (11 12:32 +1300)
committerAndrew McMillan <andrew@morphoss.com>
Thu, 10 Oct 2013 23:32:12 +0000 (11 12:32 +1300)
tree2acd55eba08e5e00022232c6fcd014cbae815473
parentaafbd7b1e6ffb59166d57725102f2f5a817a8590
Handle htmlspecialchars() differences between PHP < 5.4 vs >= 5.4

For htmlspecialchars, it seems that newer PHP versions allow specifying
ENT_XML1, but default to ENT_HTML401.  Older versions default to ENT_XML1
Go figure.  #PHPWTF
inc/XMLElement.php