remove expired PHP 5.4 ports

[rene]

Summary

PHP 5.4 reached end-of-life in 2015-Q3 upstream, and the corresponding ports expired on 2016-01-15.
Remove them from the ports tree and update the framework accordingly.

Should a note be added to UPDATING ?

Perhaps an exp-run is in place to catch any last bit of fallout?

Test Plan

• make index succeeded
• manually grep for php5(4) ports, like Tools/scripts/rmport does

[marino]

i wouldn't think an exp-run is necessary. Very few 5.4 only ports were identified months ago and I think they were fixed at the time. If anything falls out it will be very little and the impact of the fallout can't be significant. I don't think it's worth the effort myself.

As for UPDATING -- whatever was done for 5.3 (if anything) could be copied over for 5.4.

[rene]

There are indeed a few entries in UPDATING regarding PHP 5.3 but that was for lang/php5, so I don't think there is anything special to mention.

[rene]

Fix the IGNORE_WITH_PHP message, PHP_LAST_VER was only valid for lang/php5.

Submitted by: antoine via IRC

[antoine]