C.87. $world->silentdistrigger

void $world->silentdistrigger( number/name , ... );

Disables the trigger identified by number or name. If there are several triggers with the same name, disables them all. Several arguments can be passed at once. Does not print a message in the screen in case of success.