Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  b947bfe1f1aae2e457a3c4a6251b7bda2b1257e2

Add prefix option to anchor string generator

Change-Id: I27f181645a12b7f711507091bb4194c8fdbdbcab
Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  0a3d06d999d9c29092d4159505ea554886f6053a

BaseX: Handle outdated index

Prints a warning to the debug log, if elements from the index can
not be found in the database.

Change-Id: Iffebe9c7632daec7f87e8010f7805af1338d895c