jenkins-bot has submitted this change and it was merged.
Change subject: Fix parameter type in docblock
......................................................................
Fix parameter type in docblock
Change-Id: I62e9f2035d869aec5bee02f628623962fab17be9
---
M modules/ext.RevisionSlider.RevisionListView.js
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
WMDE-Fisch: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ext.RevisionSlider.RevisionListView.js
b/modules/ext.RevisionSlider.RevisionListView.js
index cd7b5e6..d00d958 100644
--- a/modules/ext.RevisionSlider.RevisionListView.js
+++ b/modules/ext.RevisionSlider.RevisionListView.js
@@ -200,7 +200,7 @@
/**
* Generates the HTML for the page size label
*
- * @param {int} size
+ * @param {number} size
* @return {jQuery}
*/
makePageSizeLine: function ( size ) {
@@ -212,7 +212,7 @@
/**
* Generates the HTML for the change size label
*
- * @param {int} relativeSize
+ * @param {number} relativeSize
* @return {jQuery}
*/
makeChangeSizeLine: function ( relativeSize ) {
--
To view, visit https://gerrit.wikimedia.org/r/297340
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I62e9f2035d869aec5bee02f628623962fab17be9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RevisionSlider
Gerrit-Branch: master
Gerrit-Owner: WMDE-leszek <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Gabriel Birke <[email protected]>
Gerrit-Reviewer: Jakob <[email protected]>
Gerrit-Reviewer: Kai Nissen (WMDE) <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
