HomePhabricator

Make WikiPage a ProperPageIdentity

Description

Make WikiPage a ProperPageIdentity

This makes it so methods that take a WikiPage can be narrowed to a
PageIdentity, and prepares WikiPage for the introduction of the PageRecord
interface.

Bug: T208776
Change-Id: Iab8bd75a1948873baab9c91c76f966d606b23c0f

Details

Provenance
danielAuthored on Nov 30 2020, 4:15 PM
Parents
rMWd7441dc09a42: Merge "SpecialContributions: Guard against unset parameter index"
Branches
Unknown
Tags
Unknown
ChangeId
Iab8bd75a1948873baab9c91c76f966d606b23c0f