Removed some stale php stuff