JSDuck-ify /resources/mediawiki.page/*
authorTimo Tijhof <krinklemail@gmail.com>
Sun, 27 Apr 2014 15:29:54 +0000 (17:29 +0200)
committerKrinkle <krinklemail@gmail.com>
Tue, 29 Apr 2014 13:34:47 +0000 (13:34 +0000)
Adds mw.hook "mediawiki.page.gallery.resize" to the index.

Change-Id: I538659a62fe99991de2a99cbc61c25eb98dd7f8e

maintenance/jsduck/config.json
resources/src/mediawiki.page/mediawiki.page.gallery.js
resources/src/mediawiki.page/mediawiki.page.image.pagination.js
resources/src/mediawiki.page/mediawiki.page.patrol.ajax.js

index 1d91288..33f7652 100644 (file)
@@ -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",
index f92d372..671cec6 100644 (file)
@@ -1,4 +1,4 @@
-/**
+/*!
  * Show gallery captions when focused. Copied directly from jquery.mw-jump.js.
  * Also Dynamically resize images to justify them.
  */
index 50301bd..4819be0 100644 (file)
@@ -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
index 5fb14dd..1fe0e26 100644 (file)
@@ -1,4 +1,4 @@
-/**
+/*!
  * Animate patrol links to use asynchronous API requests to
  * patrol pages, rather than navigating to a different URI.
  *