Simple PHP tool for converting characters to HTML entities