Git copy of https://www.mediawiki.org/wiki/Extension:Multi-Category_Search