Incorrect documentation for get_enabled_plugins()

The documentation for the return value of \core\plugininfo\webservice::get_enabled_plugins() says:

array|null of enabled plugins $pluginname=>$pluginname, null means unknown

This doesn't match the code, which always returns an array.