See https://gerrit.wikimedia.org/r/#/c/112244/ where I originally tried to address this, but I'm not sure how to get past jenkins.
See Also: T85984: Uninstall UserDailyContribs extension from Wikimedia wikis
See https://gerrit.wikimedia.org/r/#/c/112244/ where I originally tried to address this, but I'm not sure how to get past jenkins.
See Also: T85984: Uninstall UserDailyContribs extension from Wikimedia wikis
Extension was archived in rECLT5cfa1bcb57fd: Remove archived extension, hence declining.