A PHP library for creating and processing HTML forms