PHP versions documented in this manual