Merge "Rename $isIpUser to $isAnon, in line with convention elsewhere"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 27 Apr 2019 10:20:48 +0000 (10:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 27 Apr 2019 10:20:48 +0000 (10:20 +0000)
commit0fef159f8c7652016da9958168c1b9dec64b300d
tree46e558f3718781843e0240ecb40fbba9aab28c35
parent0ab9d71c3605d1a0b3a26c89d453074b5d9e464a
parent7e8e41ba9229f53f5fd83203fe33cad6ccf1169d
Merge "Rename $isIpUser to $isAnon, in line with convention elsewhere"