I can't find a list of the extensions included in MediaWiki 1.30. I would expect it to be here, or linked from here.
Topic on Talk:MediaWiki 1.30
The information you are looking for is at Bundled extensions but you are right, so I added this link to the info box.