Merge "mediawiki.Uri: Implement support for a mutable defaultUri"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Dec 2014 13:47:22 +0000 (13:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Dec 2014 13:47:22 +0000 (13:47 +0000)
commit564c585eb9f738939a1237eaa6b63292a6c49fe3
tree749be55a5852efbdcfe7155565bf8469286d6eea
parentae3234387beb6876a202bf16f87bb33c78449d4d
parentbece0d14c1253ae6421f842b9d98996f33be8d60
Merge "mediawiki.Uri: Implement support for a mutable defaultUri"