serveral bugfixes document editing view
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
removed deprecated options
usability document view
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
bugfix + jslint
info-view bugfix, updated new icons
added missing css pointer
scroll to focus method
redirect bugfix, optimizations
fixed unloadAll for system modules
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
jslint fix
flush the user authentication cache after any modifications
fixed jslint warnings
cleanup code, added linebreaks
hint for database names in batches
better handling of --javascript.package-path
some changes for user management