push

2023-11-22 14:11:17 -03:00
parent c9b0dedf77
commit b290efc434
13 changed files with 236 additions and 3 deletions
@@ -59,6 +59,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