Merge "Document type of LogEntry::isPatrollable property"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Dec 2016 19:30:11 +0000 (19:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Dec 2016 19:30:11 +0000 (19:30 +0000)
commitffd5f40293b4f2b212d7153f4c981f844e65bdae
treecf712a987ff58726431378b331df1826466522a5
parent5268491fd229eabdac2e431a74bf1e26b8745b54
parent584fd0c75b8ed34c710d5c3747c4bee4aeb9d179
Merge "Document type of LogEntry::isPatrollable property"
tests/phan/config.php