PHPDoc in WebTestBase::setUp() states that it would take a parameter, but it doesn't. Seems to be a leftover.
Also, the $modules property should be defined and documented in WebTestBase.
The fact that it isn't, might be to allow for collecting the $modules from inheriting classes with this code:
<?php
while ($class) {
if (property_exists($class, 'modules')) {
$modules = array_merge($modules, $class::$modules);
}
$class = get_parent_class($class);
}
?>but maybe we can solve that differently.
It would really be nice to replace all the same generic PHPDocs by @inheritdoc in the test classes.