diff options
author | Nikerabbit <niklas.laxstrom@gmail.com> | 2017-12-21 07:27:17 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-12-21 07:27:17 +0000 |
commit | 08edb27f6ce31c676660a4ef89b87da79bde2cc2 (patch) | |
tree | 5457369dc097942c9c6cd0aae5e40e8fa5722470 /resources/lib/oojs-ui/oojs-ui-wikimediaui.js | |
parent | a84faa932f5a7b985b5c34e252918fc15d840ebe (diff) | |
parent | acd0ce8e4a1af54ac473e4a9132841a7e4667a1c (diff) | |
download | mediawikicore-08edb27f6ce31c676660a4ef89b87da79bde2cc2.tar.gz mediawikicore-08edb27f6ce31c676660a4ef89b87da79bde2cc2.zip |
Merge "Add tags for undo edits"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui-wikimediaui.js')
0 files changed, 0 insertions, 0 deletions