profiles: mask dev-php/PEAR-PhpDocumentor for removal in 30 days.

Gentoo-Bug: 609138

diff --git a/profiles/package.mask b/profiles/package.mask
index 35c68868f42b8bae2a4d009ba7d1409188dc880a..a166d08cc393136982154ece1fa55528318774ec 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,11 @@
 
 #--- END OF EXAMPLES ---
 
+# Michael Orlitzky <mjo@gentoo.org> (12 Feb 2017)
+# Use dev-php/phpDocumentor instead. Masked for removal
+# in 30 days. Bug 609138.
+dev-php/PEAR-PhpDocumentor
+
 # Michael Orlitzky <mjo@gentoo.org> (12 Feb 2017)
 # Use PHP's FILTER_VALIDATE_IP instead. Masked for removal
 # in 30 days. Bug 609128.