diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2014-04-30 23:31:18 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2014-04-30 23:31:18 +0000 |
| commit | 21d702ab21dee256b347c7235e8814e2c79cfb4d (patch) | |
| tree | 3e998d4ab8f49d62fda5b98c18d4b1e5665677eb /resources/lib/oojs-ui/oojs-ui.js | |
| parent | 6970de209d1584f617d4ccbae5175422412e1de0 (diff) | |
| parent | 8c23482db824c9a14d416729adef4fb27d16f181 (diff) | |
| download | mediawikicore-21d702ab21dee256b347c7235e8814e2c79cfb4d.tar.gz mediawikicore-21d702ab21dee256b347c7235e8814e2c79cfb4d.zip | |
Merge "Don't bother showing prev/next links navigation when there's few results"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui.js')
0 files changed, 0 insertions, 0 deletions