Merge "Add helper trait for deprecating properties"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 25 Jul 2018 22:49:39 +0000 (22:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 25 Jul 2018 22:49:39 +0000 (22:49 +0000)
commit9f32a4dc89ec5788987e1378b05f156b7d666db3
tree5f938e9ed4672a1d53cfa86bd7046e69b04fc2f1
parent70b38d4d2bb0e156578d233a5c8c3796c7d3c1ba
parent4aedefdbfd193f323097354bf581de1c93f02715
Merge "Add helper trait for deprecating properties"
autoload.php