Merge "Revert "resources: Remove the deprecated 'jquery.badge' module"" into…
30a4750a8244Unpublished
Actions

Unpublished Commit · Learn More

Publishing Disabled: All publishing is disabled for this repository.

This commit no longer exists in the repository. It may have been part of a branch which was deleted.This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Merge "Revert "resources: Remove the deprecated 'jquery.badge' module"" into wmf/1.31.0-wmf.8

Details

Provenance

jenkins-bot	Authored on Nov 16 2017, 4:51 PM
Gerrit Code Review	Committed on Nov 16 2017, 4:51 PM

ChangeId

None

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMW30a4750a8244: Merge "Revert "resources: Remove the deprecated 'jquery.badge' module"" into… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Nov 16 2017, 4:51 PM

Commit No Longer Exists

This commit no longer exists in the repository.