..F....... [DEV-539] trigger_prototypes.php, triggers.php: fixed formatting