Thread:Project:Current issues/MediaWiki:Edittools.js/reply

It was intentionally moved without a redirect because inclusions of the old name would otherwise result in a JavaScript Syntax error when interpreted.

I checked the backlinks, it is only linked from archives. And when they click the link, they'll see the deletion log with a link to the new location.