HomePhabricator

Updated mediawiki/core Project: mediawiki/extensions/WikimediaEvents…

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

Updated mediawiki/core Project: mediawiki/extensions/WikimediaEvents d5a7ba17c7b190ba31fea2a70c6a5d01dc9d87b6

More reliable handling of WMA and WIWOSM buttons

Bug: T107936
Change-Id: I62a56abd8307d14ca9680c68a4b1878342880b37
(cherry picked from commit ce8e2ba5d07bdab6d1d21d09396622a075c3593d)

Details

Provenance
MaxSemAuthored on
Gerrit Code Review <gerrit@wikimedia.org>Committed on Sep 15 2015, 11:36 PM
ChangeId
I62a56abd8307d14ca9680c68a4b1878342880b37

Commit No Longer Exists

This commit no longer exists in the repository.