The repository containing the version of Sencha ExtJS used by the Tao web user interface