Merge "Connect OOjs UI's deprecation warnings to MediaWiki's logging system"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Nov 2016 19:58:54 +0000 (19:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Nov 2016 19:58:54 +0000 (19:58 +0000)
commit444f5838afc627eccb102d3d229fe928998a3d9f
tree8b0f750f82dbc23329a7e5ce31ea7f26d15ac627
parent44c9f7b5006d99dd87fb38e8f188c3e3bdf57703
parent4f61e992b9d712112a89c153f9c0ef0835219090
Merge "Connect OOjs UI's deprecation warnings to MediaWiki's logging system"