Extra notes on PHP versioning