From 9e1fc3649e57c09d7237c13099463f82c6451e32 Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Sun, 27 Apr 2014 17:29:54 +0200 Subject: [PATCH] JSDuck-ify /resources/mediawiki.page/* Adds mw.hook "mediawiki.page.gallery.resize" to the index. Change-Id: I538659a62fe99991de2a99cbc61c25eb98dd7f8e --- maintenance/jsduck/config.json | 3 +-- resources/src/mediawiki.page/mediawiki.page.gallery.js | 2 +- .../src/mediawiki.page/mediawiki.page.image.pagination.js | 2 +- resources/src/mediawiki.page/mediawiki.page.patrol.ajax.js | 2 +- 4 files changed, 4 insertions(+), 5 deletions(-) diff --git a/maintenance/jsduck/config.json b/maintenance/jsduck/config.json index 1d91288f72..33f76524f9 100644 --- a/maintenance/jsduck/config.json +++ b/maintenance/jsduck/config.json @@ -10,8 +10,7 @@ "./external.js", "../../resources/src/mediawiki", "../../resources/src/mediawiki.action", - "../../resources/src/mediawiki.page/mediawiki.page.startup.js", - "../../resources/src/mediawiki.page/mediawiki.page.watch.ajax.js", + "../../resources/src/mediawiki.page", "../../resources/src/mediawiki.api", "../../resources/src/mediawiki.language", "../../resources/src/jquery/jquery.accessKeyLabel.js", diff --git a/resources/src/mediawiki.page/mediawiki.page.gallery.js b/resources/src/mediawiki.page/mediawiki.page.gallery.js index f92d372663..671cec67dd 100644 --- a/resources/src/mediawiki.page/mediawiki.page.gallery.js +++ b/resources/src/mediawiki.page/mediawiki.page.gallery.js @@ -1,4 +1,4 @@ -/** +/*! * Show gallery captions when focused. Copied directly from jquery.mw-jump.js. * Also Dynamically resize images to justify them. */ diff --git a/resources/src/mediawiki.page/mediawiki.page.image.pagination.js b/resources/src/mediawiki.page/mediawiki.page.image.pagination.js index 50301bd658..4819be0ca3 100644 --- a/resources/src/mediawiki.page/mediawiki.page.image.pagination.js +++ b/resources/src/mediawiki.page/mediawiki.page.image.pagination.js @@ -1,4 +1,4 @@ -/** +/*! * Change multi-page image navigation so that the current page display can be changed * without a page reload. Currently, the only image formats that can be multi-page images are * PDF and DjVu files diff --git a/resources/src/mediawiki.page/mediawiki.page.patrol.ajax.js b/resources/src/mediawiki.page/mediawiki.page.patrol.ajax.js index 5fb14dd733..1fe0e26e15 100644 --- a/resources/src/mediawiki.page/mediawiki.page.patrol.ajax.js +++ b/resources/src/mediawiki.page/mediawiki.page.patrol.ajax.js @@ -1,4 +1,4 @@ -/** +/*! * Animate patrol links to use asynchronous API requests to * patrol pages, rather than navigating to a different URI. * -- 2.20.1