Merge "User: Avoid deprecated Linker::link()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Jun 2017 12:49:55 +0000 (12:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Jun 2017 12:49:55 +0000 (12:49 +0000)
commitc6d1ceb90a9684fa0da758d88ba1e994fad4cffc
tree8de731b2560832feca2857ed7103befdd2885826
parentf4717b49cde069ee0444c3b79614c59a0eb4f828
parent559e3a4c5cff9b5eb1244342e8c86b440cb6a39d
Merge "User: Avoid deprecated Linker::link()"
includes/user/User.php