- var_dump: documentation ( source)
- htmlspecialchars_decode: documentation ( source)
<?php
$x = "Août";
function htmlDecode( $subject )
{
$subject = (string) $subject;
do {
$oldSubject = $subject;
$subject = htmlspecialchars_decode($subject);
} while( $subject != $oldSubject );
}
var_dump($x);
htmlDecode($x);
var_dump($x);