From e95da15372e7743ea1d635092bdef456c43888de Mon Sep 17 00:00:00 2001 From: addshore Date: Tue, 2 Feb 2016 19:13:39 +0100 Subject: [PATCH] Page is an interface not a class Change-Id: I299067320a2f8e541eba668464eb18c42bfb56e5 --- includes/page/WikiPage.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/page/WikiPage.php b/includes/page/WikiPage.php index c02f97506e..b7eef8faa3 100644 --- a/includes/page/WikiPage.php +++ b/includes/page/WikiPage.php @@ -21,7 +21,7 @@ */ /** - * Abstract class for type hinting (accepts WikiPage, Article, ImagePage, CategoryPage) + * Interface for type hinting (accepts WikiPage, Article, ImagePage, CategoryPage) */ interface Page { } -- 2.20.1