Merge "Make WatchedItem members private"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Jan 2016 19:59:56 +0000 (19:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Jan 2016 19:59:56 +0000 (19:59 +0000)
commit86d748930d5dbd9a955d7dd50e68afb078f5792d
tree24ff58f2cbaacbe36586492ce3da7057a29a9c1e
parent91825ea180abd1b338ef19320f62cb4dacc5b5a0
parent75c530095e5161bbe2ee3832acc68d8c873e1090
Merge "Make WatchedItem members private"
includes/WatchedItem.php