Matthias Mullie has submitted this change and it was merged.
Change subject: fix incorrect reference in docs
......................................................................
fix incorrect reference in docs
Change-Id: Ieda63ebd4ad7d4eede42688f715c258b1a0c9879
---
M ArticleFeedbackv5.utils.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Matthias Mullie: Verified; Looks good to me, approved
jenkins-bot: Checked
diff --git a/ArticleFeedbackv5.utils.php b/ArticleFeedbackv5.utils.php
index a114d1f..5930c11 100644
--- a/ArticleFeedbackv5.utils.php
+++ b/ArticleFeedbackv5.utils.php
@@ -35,7 +35,7 @@
/**
* Returns whether feedback is enabled for this page.
- * See jquery.articleFeedbackv5.verify.js for full implementation;
+ * See jquery.articleFeedbackv5.utils.js for full implementation;
* this is more of a safety check.
*
* @param $pageId int the page id
--
To view, visit https://gerrit.wikimedia.org/r/53559
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ieda63ebd4ad7d4eede42688f715c258b1a0c9879
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ArticleFeedbackv5
Gerrit-Branch: master
Gerrit-Owner: Matthias Mullie <[email protected]>
Gerrit-Reviewer: Matthias Mullie <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
