@aik099 IDEs are able to look into parent methods AFAIK (and you should not typehint CoreDriver but the DriverInterface anyway so the autocompletion will generally be based on the interface phpdoc).
For the doc generation tools, I know that Sami (the tool written by Fabien Potencier and used for Symfony) inherits everything. I'm not sure about phpdocumentor 2. But anyway, as we don't render a phpdoc online, I think the benefit of avoiding duplication justifies the change even if phpdocumentor does not inherit everything)