add missing file StringUtil.php