obsolete old php package name