Updated mediawiki/extensions
Project: mediawiki/extensions/CategoryTagSorter  08dd4e8ccbc801ef1fea1cb6935878efc7c7c5c9