From 799ba118a3a831b99c7c14a2240ebbb3804719c5 Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Fri, 26 Sep 2014 21:24:26 +0200
Subject: [PATCH] Remove XmlDumpWriter::schemaVersion (deprecated 1.20)

Change-Id: I725d19e46d4728d46d58bfbd3d5a9ad54c4df24a
---
 RELEASE-NOTES-1.25  |  1 +
 includes/Export.php | 10 ----------
 2 files changed, 1 insertion(+), 10 deletions(-)

diff --git a/RELEASE-NOTES-1.25 b/RELEASE-NOTES-1.25
index f40dfe768e..ea781d3650 100644
--- a/RELEASE-NOTES-1.25
+++ b/RELEASE-NOTES-1.25
@@ -36,6 +36,7 @@ changes to languages because of Bugzilla reports.
 * (bug 56257) Set site logo from mediawiki.skinning.interface module instead of
   inline styles in the HTML.
 * Removed ApiQueryUsers::getAutoGroups(). (deprecated since 1.20)
+* Removed XmlDumpWriter::schemaVersion(). (deprecated since 1.20)
 
 == Compatibility ==
 
diff --git a/includes/Export.php b/includes/Export.php
index 84f5c60cec..dee0a864d4 100644
--- a/includes/Export.php
+++ b/includes/Export.php
@@ -479,16 +479,6 @@ class WikiExporter {
  * @ingroup Dump
  */
 class XmlDumpWriter {
-	/**
-	 * Returns the export schema version.
-	 * @deprecated since 1.20; use WikiExporter::schemaVersion() instead
-	 * @return string
-	 */
-	function schemaVersion() {
-		wfDeprecated( __METHOD__, '1.20' );
-		return WikiExporter::schemaVersion();
-	}
-
 	/**
 	 * Opens the XML output stream's root "<mediawiki>" element.
 	 * This does not include an xml directive, so is safe to include
-- 
2.20.1