jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/330051 )
Change subject: Change extension url to https
......................................................................
Change extension url to https
Change-Id: If1b65e737a83d8e235f8103443c92d33573b6401
---
M extension.json
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index ef8bdd0..fc2039e 100644
--- a/extension.json
+++ b/extension.json
@@ -1,8 +1,8 @@
{
"name": "VikiSemanticTitle",
"version": "1.3",
- "author": "[http://www.mediawiki.org/wiki/User:Jji Jason Ji]",
- "url": "http://www.mediawiki.org/wiki/Extension:VikiSemanticTitle";,
+ "author": "[https://www.mediawiki.org/wiki/User:Jji Jason Ji]",
+ "url": "https://www.mediawiki.org/wiki/Extension:VikiSemanticTitle";,
"descriptionmsg": "vikisemantictitle-desc",
"type": "parserhook",
"MessagesDirs": {
--
To view, visit https://gerrit.wikimedia.org/r/330051
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If1b65e737a83d8e235f8103443c92d33573b6401
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VikiSemanticTitle
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
