Merge pull request #24124 from bugfolder/3772_notice_in_batch_php
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 2 Aug 2022 23:14:44 +0000 (11:14 +1200)
committerGitHub <noreply@github.com>
Tue, 2 Aug 2022 23:14:44 +0000 (11:14 +1200)
Issue #3772: Fix undefined index notice.


Trivial merge