Update to MediaWiki 1.19.0

1 files changed, 2 insertions, 10 deletions

diff --git a/includes/WikiCategoryPage.php b/includes/WikiCategoryPage.php
index 42c2a6ce..01938cd9 100644
--- a/includes/WikiCategoryPage.php
+++ b/includes/WikiCategoryPage.php
@@ -3,21 +3,13 @@
  * Special handling for category pages
  */
 class WikiCategoryPage extends WikiPage {
-	/**
-	 * Constructor from a page id
-	 * @param $id Int article ID to load
-	 */
-	public static function newFromID( $id ) {
-		$t = Title::newFromID( $id );
-		# @todo FIXME: Doesn't inherit right
-		return $t == null ? null : new self( $t );
-		# return $t == null ? null : new static( $t ); // PHP 5.3
-	}
 
 	/**
 	 * Don't return a 404 for categories in use.
 	 * In use defined as: either the actual page exists
 	 * or the category currently has members.
+	 *
+	 * @return bool
 	 */
 	public function hasViewableContent() {
 		if ( parent::hasViewableContent() ) {