[stephenr]

i quite like this concept too, but both are still better than Hack's

    <?hh // strict

Strict what?

[TazeTSchnitzel]

Hack's is a comment, not a proper pragma, too.

[stephenr]

Yeah that's kinda sucky too. I assume it's because they also support their "strict" mode with regular php files?