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

The page MediaWiki:Edittools.js was renamed and no redirect was left behind. It just happens that many pages still point to the old title. Can an admin please recreate the redirect? Thanks.