Don't forget to document this publicly once it is deployed. https://www.mediawiki.org/wiki/Manual:Parameters_to_index.php is probably a good place for that (even though technically these are not related to index.php, but that page is where I would look if I saw a new parameter and had no idea what's going on).