Adds Datum Tagging for admins (#62982)

This commit is contained in:
Ryll Ryll
2021-12-21 17:00:46 -05:00
committed by GitHub
parent 6e3cacac38
commit 45eb682ee6
14 changed files with 212 additions and 2 deletions
@@ -50,6 +50,8 @@
if(href_list[VV_HK_MARK])
usr.client.mark_datum(target)
if(href_list[VV_HK_TAG])
usr.client.tag_datum(target)
if(href_list[VV_HK_ADDCOMPONENT])
if(!check_rights(NONE))
return