[php-src] Issue #9183: Obnoxious error in build/gen_stub.php "PHPDoc param type is unnecessary"

Issue: https://github.com/php/php-src/issues/9183 Author: dktapps ### Description build/gen_stub.php bails out if it encounters doc comments like this: ``` * @param int $size The maximum number of Workers this Pool can create * @param string $class The class for new Workers * @param array $ctor An array of arguments to be passed to new Workers ``` complaining that the @param annotations are unnecessary. It's my opinion that bailing out here is entirely unnecessary and annoying. A warning would be perfectly sufficient. In addition, it makes it inconvenient to write doc comments in stubs.