General-purpose library for php.