HomePhabricator

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

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/WikimediaMaintenance rEWMA6dffeb5fafc2

Renamed $wmf* to $wmg* for consistency

Bug: T45956
Change-Id: I1f12e74a9e2db5e27a519a622415b1acaa3bece6

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMW098a83c298a8: Updated mediawiki/core Project: mediawiki/extensions/WikimediaMaintenance… (authored by Arav93 <aravikn@gmail.com>).Aug 12 2015, 11:42 PM

Commit No Longer Exists

This commit no longer exists in the repository.