Updated mediawiki/extensions
Project: mediawiki/extensions/SubPageList  f08a0e25bebc79e5e3238256d8eeb12ea1e0e8c5