Merge "actions: Avoid use of is_null() PHP function where necessary"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 11 Jan 2019 16:23:10 +0000 (16:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 11 Jan 2019 16:23:10 +0000 (16:23 +0000)
commita792979336d0339b384e4a742c24798716facd7e
tree951ea443d64fc06b4f1a70f8939b022ebc3a352e
parent4cc8ce77f35973f7892031161d9884fe88c0cd70
parent2b3a21f5c1c69fb1e03af717bb5b50037436d13c
Merge "actions: Avoid use of is_null() PHP function where necessary"