- patch Mk/Uses/php.mk
- make index
- dry run Tools/scripts/rmport -a (ignoring non-PHP55 ports), this should catch any ports still depending on the PHP55 ports. Nothing found outside of PHP55 ports themselves.
- (manually) remove PHP55 ports as rmport does not catch most extension ports.