For OTRS members: https://ticket.wikimedia.org/otrs/index.pl?Action=AgentTicketZoom&TicketID=7832996;
To search directly in the wikipedia for a string found on a website, it would be much easier to use a wikipedia entry in the "share" menu of the phone, instead of copying the text, close the browser, open the wikipedia app, tap into search and insert.
Version: Stable
Severity: enhancement