Merge "Make Block.php protected members private"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 7 Aug 2017 10:59:54 +0000 (10:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 7 Aug 2017 10:59:54 +0000 (10:59 +0000)
commitd164df69a911dbab3fa08e359c4d4c65f85cc646
tree376d70b814325a2a5118159d843ae59b1f8a8915
parent8f2bb6d7d7e022e9601d29bc6c1d3892486cc99e
parentec1703793a7584dc362aecd2fa34095adae2fe41
Merge "Make Block.php protected members private"