changed dropdown-item:hover to default style
merge
changed mouse style when hovering on navigation-dropdown-items
removed shift keybinding for info modal
shortcut style and position changed
moved dropdown divider for database selection to the right place
Error string for remove, replace, update modified
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
small changes for new documentation in code-docu
only use next action if not restarting
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
path function for fluent interface added
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
calculation of measurements for graphs added and changed calculation of shortst paths to Floyd–Warshall algorithm
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
jslint
make jslint stop nagging
make jslint stop nagging
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into mjmh
removed doxygen comments