[ticket/11385] Fix issue with migration module tool not getting extension module info

PHPBB3-11385
Merge branch 'ticket/11385' into develop

# By OpenShift guest
* ticket/11385:
  [ticket/11385] Fix issue with migration module tool not getting extension module info