jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/330052 )
Change subject: Change extension url to https
......................................................................
Change extension url to https
Change-Id: I628231f57fcc95f2686611354199d38e873ac38d
---
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 2ce7d14..ff5c6a6 100644
--- a/extension.json
+++ b/extension.json
@@ -1,8 +1,8 @@
{
"name": "VikiTitleIcon",
"version": "1.3.1",
- "author": "[http://www.mediawiki.org/wiki/User:Jji Jason Ji]",
- "url": "http://www.mediawiki.org/wiki/Extension:VikiTitleIcon";,
+ "author": "[https://www.mediawiki.org/wiki/User:Jji Jason Ji]",
+ "url": "https://www.mediawiki.org/wiki/Extension:VikiTitleIcon";,
"descriptionmsg": "vikititleicon-desc",
"type": "parserhook",
"APIModules": {
--
To view, visit https://gerrit.wikimedia.org/r/330052
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I628231f57fcc95f2686611354199d38e873ac38d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VikiTitleIcon
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
