A PHP library for generating GUI's based on HTML and JavaScript