Merge "block: Avoid use of is_null() PHP function where necessary"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 11 Jan 2019 16:50:46 +0000 (16:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 11 Jan 2019 16:50:46 +0000 (16:50 +0000)
commitc92c21bbc848f8173f322418f300150aa2fda99a
tree54efd333f80e6722a6c8f566e6d2a50ab432be55
parent794add4c67648173a12e3ed008e59926363e7354
parent78b005d86d5582aa47687f7622c9987312c3c368
Merge "block: Avoid use of is_null() PHP function where necessary"