Merge "Use the ?? feature instead of isset() where it makes sense"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 25 Mar 2019 04:34:10 +0000 (04:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 25 Mar 2019 04:34:10 +0000 (04:34 +0000)
commit0c840368c8cba63abc6ab14c35d5432a65faf166
tree27ffb7750538affd69b33c4d4daa75485a5e3aa6
parent4ef35dbe1b1c0dd1ec4d9f066d1778cdc41df284
parent2540c29b207494d771bd8e5b0ab43f0a056b5283
Merge "Use the ?? feature instead of isset() where it makes sense"