/resources/src/mediawiki.page/
../
mediawiki.page.gallery.js
mediawiki.page.image.pagination.js
mediawiki.page.patrol.ajax.js
mediawiki.page.ready.js
mediawiki.page.startup.js
mediawiki.page.watch.ajax.js