In reply to David Artiss.

There are much better ways for core WordPress to deal with older PHP versions than nagware from smug plugin developers. There's absolutely no need to break the plugin directory guidelines.