Thread:Talk:Main Wikimedia extensions/Link goes to nowhere/reply

Additionally searching git is pretty useless as it doesn't work as always and at github, where search works, there is no such file.