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

Authored by Catrope on May 4 2016, 7:46 PM.

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.


Updated mediawiki/core Project: mediawiki/extensions/Echo rECHO70ac2f600776

Avoid fatal when EchoUnreadWikis::newFromUser() returns false

Bug: T134428
Change-Id: Ie0a0ba77fa764f112836f1a8ad331e734a83df92
(cherry picked from commit rECHOc469692d16ef)

Commit No Longer Exists

This commit no longer exists in the repository.