PHP Library, which implements some useful functions for strings