diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2014-05-30 02:57:05 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2014-05-30 02:57:05 +0000 |
| commit | 410d531e81108ac3a12edbdb8c1c773c0a581697 (patch) | |
| tree | 9f76c69c83ebce3d2c5e9c7e72502a332b7cfb42 /resources/lib/oojs-ui/oojs-ui.js | |
| parent | 707e4cc403af785388e396662e745656da643a0c (diff) | |
| parent | 52fd3a0e830accee917cef77b0977287cf385649 (diff) | |
| download | mediawikicore-410d531e81108ac3a12edbdb8c1c773c0a581697.tar.gz mediawikicore-410d531e81108ac3a12edbdb8c1c773c0a581697.zip | |
Merge "PostgreSQL: Support table prefixes"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui.js')
0 files changed, 0 insertions, 0 deletions