Add package PHP.

Fixes #1