Merge "Use isset() to avoid an E_NOTICE about an undefined index"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Mar 2019 18:20:34 +0000 (18:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Mar 2019 18:20:34 +0000 (18:20 +0000)
commit6b4737e6e73512dd2de1001e897e0ec603014de7
tree8f03ec03d17ff635fd8f3075f8d1e10bd80bd42a
parent70713f106e23f9758e162b4a2b3c75b4ccbd9b3b
parentc7c2637bbd3aa296e52171dd09c8effe2b9b28cd
Merge "Use isset() to avoid an E_NOTICE about an undefined index"