Fix fatal error on loading extension page when an extension has been deleted
authoreileen <emcnaughton@wikimedia.org>
Wed, 11 Mar 2020 23:38:10 +0000 (12:38 +1300)
committereileen <emcnaughton@wikimedia.org>
Wed, 11 Mar 2020 23:38:29 +0000 (12:38 +1300)
commitf8a212817da836bf7da3812fae8b6efe8f65e4e4
treefcb34bbd18037da1a234d1fd955b30af04aaa9e1
parentde77a9a12f128e338d246b9171a74289f010bea8
Fix fatal error on loading extension page when an extension has been deleted

Since we added the concept of 'hidden' tags we are loading them in a way where the exceptions are not caught. This means
that the whole page cannot load - which is needed to disable the missing extension
CRM/Extension/Mapper.php