Removed unused code (PHP code was removed earlier)

Fixes #1501