chore: fix phpdoc for Console::$options (#10088)
#12222
| Job | Run time |
|---|---|
| 20s | |
| 55s | |
| 1m 15s |
Console::$options (#10088)
#12222
| Job | Run time |
|---|---|
| 20s | |
| 55s | |
| 1m 15s |