Removing duplicate php5 declaration.

Accidentally checked in the dupe when merging Todd and Jeff's pull requests.