PHP library for detecting and convert character encodings.