this is a tricky change, imagine that mediawiki adds completely different argument here,
can we find another solution?