HomePhabricator

Merge "Remove unused and undocumented $wgUseMasterForMaintenance"
1fb18e9074e6Unpublished

Authored by jenkins-bot on Jun 14 2016, 4:57 PM.

Unpublished Commit · Learn More

Publishing Disabled: All publishing is disabled for this repository.

Description

Merge "Remove unused and undocumented $wgUseMasterForMaintenance"

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMW1fb18e9074e6: Merge "Remove unused and undocumented $wgUseMasterForMaintenance" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jun 14 2016, 4:57 PM

Merged Changes

CommitAuthorDetailsCommitted
de764f68dcc1demon
Remove unused and undocumented $wgUseMasterForMaintenance 
Jun 14 2016