Remove docs.php.net, it's not user-visible any longer (closes #996)

Remove docs.php.net, it's not user-visible any longer (closes #996) #231