jenkins-bot has submitted this change and it was merged.
Change subject: Add comment about how to deploy new xml schema XSD files
......................................................................
Add comment about how to deploy new xml schema XSD files
Change-Id: I5a20594befaa5afcab44960fd892c6f798c3d729
---
M includes/Export.php
1 file changed, 10 insertions(+), 1 deletion(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Export.php b/includes/Export.php
index e57fe7f..fafc3fb 100644
--- a/includes/Export.php
+++ b/includes/Export.php
@@ -507,8 +507,17 @@
return Xml::element( 'mediawiki', array(
'xmlns' =>
"http://www.mediawiki.org/xml/export-$ver/";,
'xmlns:xsi' =>
"http://www.w3.org/2001/XMLSchema-instance";,
+ /*
+ * When a new version of the schema is created, it
needs staging on mediawiki.org.
+ * This requires a change in the
operations/mediawiki-config git repo.
+ *
+ * Create a changeset like
https://gerrit.wikimedia.org/r/#/c/149643/ in which
+ * you copy in the new xsd file.
+ *
+ * After it is reviewed, merged and deployed
(sync-docroot), the index.html needs purging.
+ * echo "http://www.mediawiki.org/xml/index.html"; |
mwscript purgeList.php --wiki=aawiki
+ */
'xsi:schemaLocation' =>
"http://www.mediawiki.org/xml/export-$ver/ " .
- #TODO: how do we get a new version up there?
"http://www.mediawiki.org/xml/export-$ver.xsd";,
'version' => $ver,
'xml:lang' => $wgLanguageCode ),
--
To view, visit https://gerrit.wikimedia.org/r/149647
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5a20594befaa5afcab44960fd892c6f798c3d729
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: ArielGlenn <ar...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
