diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2016-10-03 18:19:17 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2016-10-03 18:19:17 +0000 |
| commit | 864be4b56ebc2ad3a80d775aae6e11d14f06ed65 (patch) | |
| tree | aea063643a97d8b27c702313dbe32834eabde4dd /resources/lib/oojs-ui/oojs-ui-widgets.js | |
| parent | 6bed421aa8d0cfe604b4df231014f1712a187640 (diff) | |
| parent | 3aed5acec14fb73a50b8eeaa1f08695e6e1757e5 (diff) | |
| download | mediawikicore-864be4b56ebc2ad3a80d775aae6e11d14f06ed65.tar.gz mediawikicore-864be4b56ebc2ad3a80d775aae6e11d14f06ed65.zip | |
Merge "action=history should return 404 if there is no such page"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui-widgets.js')
0 files changed, 0 insertions, 0 deletions