diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-10-08 22:01:32 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-10-08 22:01:32 +0000 |
| commit | 99bcee1395cd0d8ee36f027ec04b3884351d2d95 (patch) | |
| tree | ab5df08b6dd3ea19dedfd78ca2e0d85299f76846 /includes/MainConfigSchema.php | |
| parent | 121559810bb57357a4252f8b10cf51bdf00c4160 (diff) | |
| parent | d94a438c0660687b57da79a7f65f422d07329a67 (diff) | |
| download | mediawikicore-99bcee1395cd0d8ee36f027ec04b3884351d2d95.tar.gz mediawikicore-99bcee1395cd0d8ee36f027ec04b3884351d2d95.zip | |
Merge "SpecialBlock: re-add enableOOUI, prevents prod error"
Diffstat (limited to 'includes/MainConfigSchema.php')
0 files changed, 0 insertions, 0 deletions