Require PHP 5.4.

There was already 5.4 syntax here, so it technically already was
required.