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)
commit20bfc5515453ce920fccd879f3984e1226da15bb
treefcbad23e02e8f759e42c6d94bbf8468b2bc95dd4
parentb5bf7014e6a58b887d6e5ceaa58dbf4084df3701
parentbdf76849bcbe852f56c12753844f3e5050b42d9c
Merge pull request #24124 from bugfolder/3772_notice_in_batch_php

Issue #3772: Fix undefined index notice.