Bug in String.php

In function IsUTF8