added ExtJS library used by admin interface