Moved file to php/lib directory.