| commit | a92513bc65e257e12e0084c063acbb35a6fd7bc0 | [log] [tgz] |
|---|---|---|
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | Tue Nov 13 11:54:28 2018 +0000 |
| committer | Gerrit Code Review <gerrit@wikimedia.org> | Tue Nov 13 11:54:28 2018 +0000 |
| tree | 0c1324931d5263b6bfea0dbc3aa43c6f5310688a | |
| parent | ef916f32c98dee2857d47f45492208d0a616cc4f [diff] | |
| parent | d1f62bb6f8ce64bc8af44e4587e84525cbe49b52 [diff] |
Merge "Use cursor: grabbing when grabbing is active"
Kartographer is a MediaWiki extension that adds map capability See https://www.mediawiki.org/wiki/Extension:Kartographer