Fixes #5309: We need a script to check ordering in techniques
Merge pull request #448 from peckpeck/bug_5309/we_need_a_script_to_check_ordering_in_techniques

Fixes #5309: We need a script to check ordering in techniques