Bug#850582: RM: src:sphinxcontrib-phpdomain -- ROM; Useless in Debian

[Scott Kitterman]

Package: ftp.debian.org
Severity: normal

See #818673.