A portable library for Unicode handling in PHP