Merge pull request #16752 from eileenmcnaughton/ext24
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 16 Mar 2020 20:37:23 +0000 (07:37 +1100)
committerGitHub <noreply@github.com>
Mon, 16 Mar 2020 20:37:23 +0000 (07:37 +1100)
Fix fatal error on loading extension page when an extension has been deleted


Trivial merge