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

Change subject: Have wgFlowHelpPage point to real page
......................................................................


Have wgFlowHelpPage point to real page

In the future, we will probably want a dedicated user-facing help page,
but in the meantime don't point to a black hole.

Change-Id: If2154952d29426ca7e538e03aa974c41b2d41631
---
M Flow.php
1 file changed, 1 insertion(+), 1 deletion(-)

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



diff --git a/Flow.php b/Flow.php
index 705271a..52f49fe 100644
--- a/Flow.php
+++ b/Flow.php
@@ -199,7 +199,7 @@
 // Configuration
 
 // URL for more information about the Flow notification system
-$wgFlowHelpPage = 
'//www.mediawiki.org/wiki/Special:MyLanguage/Help:Extension:Flow';
+$wgFlowHelpPage = '//www.mediawiki.org/wiki/Special:MyLanguage/Extension:Flow';
 
 // $wgFlowCluster will define what external DB server should be used.
 // If set to false, the current database (wfGetDB) will be used to read/write

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

Gerrit-MessageType: merged
Gerrit-Change-Id: If2154952d29426ca7e538e03aa974c41b2d41631
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: Mattflaschen <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Spage <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to