PHP extension for the DHTMLX library