Jeroen De Dauw has submitted this change and it was merged.

Change subject: (bug 42768) Avoid error for history of missing page.
......................................................................


(bug 42768) Avoid error for history of missing page.

Viewing the history of a page that does not exist should not cause a
fatal error.

Note: this fix needs to be backported to the mw1.21-wmf5 branch, and it
should be deployed on wikidata.org. It's not urgent, though.

Change-Id: I88d0f3f5cc20b7bea7408b53003d5bb0317ff97e
---
M repo/includes/actions/HistoryEntityAction.php
1 file changed, 6 insertions(+), 0 deletions(-)

Approvals:
  Jeroen De Dauw: Verified; Looks good to me, approved


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

Gerrit-MessageType: merged
Gerrit-Change-Id: I88d0f3f5cc20b7bea7408b53003d5bb0317ff97e
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Daniel Kinzler <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Daniel Kinzler <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: John Erling Blad <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: jenkins-bot

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

Reply via email to