Intended edit (ve-edit + fixup):
https://www.mediawiki.org/w/index.php?title=Wikimedia_technical_search&diff=715707&oldid=715705
+ [https://github.com/search?l=&q=ResourceLoader+%40wikimedia Search]
Actual edit saved by Parsoid/VisualEditor:
https://www.mediawiki.org/w/index.php?title=Wikimedia_technical_search&diff=715706&oldid=715705
+ [https://github.com/search?l=&q=ResourceLoader+%2540wikimedia Search]
Note how the % got encoded to %25.
Version: unspecified
Severity: major