Aktualisierung auf MediaWiki 1.10.0

Plugins angepasst und verbessert
kleine Korrekturen am Design

1 files changed, 1 insertions, 2 deletions

diff --git a/includes/FakeTitle.php b/includes/FakeTitle.php
index ae05385a..293bdaf0 100644
--- a/includes/FakeTitle.php
+++ b/includes/FakeTitle.php
@@ -14,7 +14,6 @@ class FakeTitle {
 	function getInterwikiCached() { $this->error(); }
 	function isLocal() { $this->error(); }
 	function isTrans() { $this->error(); }
-	function touchArray( $titles, $timestamp = '' ) { $this->error(); }
 	function getText() { $this->error(); }
 	function getPartialURL() { $this->error(); }
 	function getDBkey() { $this->error(); }
@@ -41,6 +40,7 @@ class FakeTitle {
 	function isProtected() { $this->error(); }
 	function userIsWatching() { $this->error(); }
 	function userCan() { $this->error(); }
+	function userCanCreate() { $this->error(); }
 	function userCanEdit() { $this->error(); }
 	function userCanMove() { $this->error(); }
 	function isMovable() { $this->error(); }
@@ -71,7 +71,6 @@ class FakeTitle {
 	function moveOverExistingRedirect() { $this->error(); }
 	function moveToNewTitle() { $this->error(); }
 	function isValidMoveTarget() { $this->error(); }
-	function createRedirect() { $this->error(); }
 	function getParentCategories() { $this->error(); }
 	function getParentCategoryTree() { $this->error(); }
 	function pageCond() { $this->error(); }