diff options
| author | Fomafix <fomafix@googlemail.com> | 2019-12-21 13:58:31 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2019-12-21 20:56:19 +0000 |
| commit | 09bc7484a716f74d6578704c95c19cfd9eea79a4 (patch) | |
| tree | 2b47321d5e8fee33a1a29424bf19e2b3ed8c2d2c /includes/FileDeleteForm.php | |
| parent | 66b1be5e2eff0aadbacf18ffd272d7b8bb6ddd57 (diff) | |
| download | mediawikicore-09bc7484a716f74d6578704c95c19cfd9eea79a4.tar.gz mediawikicore-09bc7484a716f74d6578704c95c19cfd9eea79a4.zip | |
Use type mixed|null for $defaultOverride in User::getOption
Extension Gadgets use a boolean value for $defaultOverride.
Also fix the return type for getOption and getDefaultOption.
This change is needed to pass the tests in
I255237574e76f1c0d92f376bc8cbb81f7cb4ed14.
Change-Id: I92ecaa9c14e5c8ba32d152a9e2246a2144b1c7da
Diffstat (limited to 'includes/FileDeleteForm.php')
0 files changed, 0 insertions, 0 deletions