php deprecated

fixes #4