This link https://www.mediawiki.org/wiki/Extension:Pipe_Escape points to this link https://phabricator.wikimedia.org/r/project/mediawiki/extensions/PipeEscape/ which is 404, and I don't know the correct link.
Can someone point me to the correct link so I can fix it.