chore: fix phpdoc for Console::$options (#10088)
#7990
| Job | Run time |
|---|---|
| 2m 37s | |
| 2m 37s |
Console::$options (#10088)
#7990
| Job | Run time |
|---|---|
| 2m 37s | |
| 2m 37s |