SpecialPageFactory::getPage can return null
authorUmherirrender <umherirrender_de.wp@web.de>
Wed, 28 Jun 2017 18:22:20 +0000 (20:22 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Wed, 28 Jun 2017 18:22:20 +0000 (20:22 +0200)
Change-Id: I12b4969ec0c6b8d5a1d8feeda27152ba6075c4fd

includes/specialpage/SpecialPageFactory.php

index 81e2b7e..88336dd 100644 (file)
@@ -459,7 +459,7 @@ class SpecialPageFactory {
                $pages = [];
                foreach ( self::getPageList() as $name => $rec ) {
                        $page = self::getPage( $name );
-                       if ( $page->isListed() && !$page->isRestricted() ) {
+                       if ( $page && $page->isListed() && !$page->isRestricted() ) {
                                $pages[$name] = $page;
                        }
                }
@@ -482,8 +482,8 @@ class SpecialPageFactory {
                }
                foreach ( self::getPageList() as $name => $rec ) {
                        $page = self::getPage( $name );
-                       if (
-                               $page->isListed()
+                       if ( $page
+                               && $page->isListed()
                                && $page->isRestricted()
                                && $page->userCanExecute( $user )
                        ) {