diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-08-25 09:11:33 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-08-25 09:11:33 +0000 |
| commit | 80d62c5ea865c12d85feb87a3564b55aec6e3168 (patch) | |
| tree | 0b540264a4fbc339e7ffb59bf8b5aeeb71a0b71a /includes/preferences | |
| parent | 9e124393f01e0fbef1ac9e0b40674365ad932b94 (diff) | |
| parent | 6d75779017f2cd2b879b7241d7680c84bfaff6b8 (diff) | |
| download | mediawikicore-80d62c5ea865c12d85feb87a3564b55aec6e3168.tar.gz mediawikicore-80d62c5ea865c12d85feb87a3564b55aec6e3168.zip | |
Merge "Rest: ensure there are no extraneous params in JSON bodies"
Diffstat (limited to 'includes/preferences')
0 files changed, 0 insertions, 0 deletions