triggers-diff.pl