diff options
Diffstat (limited to 'includes/page/PageRecord.php')
| -rw-r--r-- | includes/page/PageRecord.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/page/PageRecord.php b/includes/page/PageRecord.php index 7117033b7a6d..05efe2e672ad 100644 --- a/includes/page/PageRecord.php +++ b/includes/page/PageRecord.php @@ -19,6 +19,7 @@ namespace MediaWiki\Page; * * @stable to type * @since 1.36 + * @ingroup Page */ interface PageRecord extends ProperPageIdentity { |