Links like https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/core.git;a=tree;f=resources/jquery.ui are broken since a while.
Will this be fixed? There a dozens of links in MediaWiki wiki that do not work and a lot in de.wikipedia.org and a few at Commons as well.
Version: wmf-deployment
Severity: normal