A library for more securely handling of GET/POST objects in PHP