mv php54-lib to PHP