tree af15b0753105277e2c527df305c72e10958d7c50
parent a7258cb628455096de543719c5134df9d6826ee1
parent 9b26ba98a85854770b3aacf362a8c16093afb8ca
author marcrusian <marcrusian@gmail.com> 1632217482 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1632217482 +0200

Merge "Renamed _menu in hint.js to _menuCollection, as it is actually a collection of menus dependent on "action" parameter."