Steps to replicate the issue (include links if applicable):
- Go to https://en.wikipedia.org/wiki/Special:AbuseFilter/1
- Click on the filter editor.
- Press CTRL-F (or F1)
What happens?:
404 Error for https://en.wikipedia.org/w/extensions/CodeEditor/modules/ace/ext-searchbox.js (or https://en.wikipedia.org/w/extensions/CodeEditor/modules/ace/ext-prompt.js)
What should have happened instead?:
The search box (or menu) opens.
Other information (browser name/version, screenshots, etc.):
The correct paths seem to be:
https://en.wikipedia.org/w/extensions/CodeEditor/modules/lib/ace/ext-searchbox.js
https://en.wikipedia.org/w/extensions/CodeEditor/modules/lib/ace/ext-prompt.js