The @deprecated PHPDoc tag recommends a description and/or be provided, but it is not required. https://docs.phpdoc.org/latest/references/phpdoc/tags/deprecated.html
<?php
/**
* @deprecated Arbitrary deprecation reason.
*/
function foo()
{
echo 'foo';
}
foo(); // <- Reported as an issue with PHP6406
/**
* @deprecated
*/
function bar()
{
echo 'bar';
}
bar();// <- No reported issue despite being marked as deprecated
