Custom version of mediawiki extension IndexFunction