Ori.livneh has submitted this change and it was merged.

Change subject: Oops, restoring the line I accidently deleted.
......................................................................


Oops, restoring the line I accidently deleted.

Change-Id: Iefef1881648190c96ac8f6e0b57642018beb3643
---
M resources/jquery/jquery.badge.js
1 file changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Ori.livneh: Verified; Looks good to me, approved
  Alex Monk: Looks good to me, but someone else must approve


--
To view, visit https://gerrit.wikimedia.org/r/32489
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iefef1881648190c96ac8f6e0b57642018beb3643
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Kaldari <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to