added function JS_getIcuTimezones, JS_getIcuLocales and JS_formatDatetime
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
deleted unused variable
bugfix non-virtual destructor
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel