jenkins-bot has submitted this change and it was merged.

Change subject: Add mw.org URL
......................................................................


Add mw.org URL

Change-Id: Ia1519bc9dd70d4084a4b659ebe044dca5bb43ecb
---
M extension.json
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Aude: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/extension.json b/extension.json
index 578a58d..4dfd895 100644
--- a/extension.json
+++ b/extension.json
@@ -4,7 +4,7 @@
        "author": [
                "WMDE"
        ],
-       "url": "https://phabricator.wikimedia.org/T142201";,
+       "url": "https://www.mediawiki.org/wiki/Extension:ElectronPdfService";,
        "descriptionmsg": "electronPdfService-desc",
        "license-name": "GPL-2.0+",
        "type": "other",

-- 
To view, visit https://gerrit.wikimedia.org/r/311718
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia1519bc9dd70d4084a4b659ebe044dca5bb43ecb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ElectronPdfService
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Aude <aude.w...@gmail.com>
Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to