[11:40:16] <gry>	 https://www.mediawiki.org/wiki/Extension_talk:InputBox#how_to_open_in_new_page