1--TEST--
2Bug #25707 (html_entity_decode over-decodes <)
3--FILE--
4<?php
5var_dump(html_entity_decode("&amp;lt;", ENT_COMPAT, 'ISO-8859-1'));
6var_dump(html_entity_decode("&amp;#38;", ENT_COMPAT, 'ISO-8859-1'));
7var_dump(html_entity_decode("&amp;#38;lt;", ENT_COMPAT, 'ISO-8859-1'));
8?>
9--EXPECT--
10string(4) "&lt;"
11string(5) "&#38;"
12string(8) "&#38;lt;"
13