wikimedia /
mediawiki
@@ -18,8 +18,6 @@ |
||
| 18 | 18 | |
| 19 | 19 | /** |
| 20 | 20 | * @param array $config Configuration options |
| 21 | - * @param int|null $config['pushPending'] Whether the input should be visually marked as |
|
| 22 | - * "pending", while requesting suggestions (default: true) |
|
| 23 | 21 | */ |
| 24 | 22 | public function __construct( array $config = [] ) { |
| 25 | 23 | // Parent constructor |
