diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-12-20 22:32:24 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-12-20 22:32:24 +0000 |
| commit | a84faa932f5a7b985b5c34e252918fc15d840ebe (patch) | |
| tree | 703cae1551d2f0ad0391dc1e9cfff8fa84e7f10c /resources/lib/oojs-ui/oojs-ui-wikimediaui.js | |
| parent | c3ceed1ca0d79f3e31464cf78b4abc524740e03a (diff) | |
| parent | 60e8a35c2d344cc22d5dc149aed10cf71f21b4c5 (diff) | |
| download | mediawikicore-a84faa932f5a7b985b5c34e252918fc15d840ebe.tar.gz mediawikicore-a84faa932f5a7b985b5c34e252918fc15d840ebe.zip | |
Merge "Simplify logic to prevent writes on replica DB connections"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui-wikimediaui.js')
0 files changed, 0 insertions, 0 deletions