- obsolete old php name
- release 12 (by relup.sh)