BurningTreeC 55b5b6dd56 PageScroller: scroll in new windows (#3537) ... * make pageScroller work in new windows * update getScrollPosition to work for new windows * Update dom.js		2018-11-13 18:07:55 +00:00
..
diff-match-patch	Incorporate “diff” engine to show visual differences (#3112)	2018-03-16 20:38:35 +00:00
dom	PageScroller: scroll in new windows (#3537)	2018-11-13 18:07:55 +00:00
crypto.js	Fix support for upgrading encrypted wikis	2014-07-16 10:06:24 +01:00
csv.js	Module-ize server routes, add static file support and other enhancements(#2679)	2018-07-18 16:54:43 +01:00
edition-info.js	Refactor edition-info handling	2015-01-11 15:00:54 +00:00
fakedom.js	Don't throw errors when hitting limits of the fakedom	2017-06-09 15:20:45 +01:00
filesystem.js	Avoid deprecated new Buffer() usage	2018-06-13 11:22:17 +01:00
logger.js	Syncer: allow logging to be disabled	2017-09-26 17:10:57 +01:00
parsetree.js	Add parse tree utility for collecting text	2015-08-01 13:14:32 +01:00
performance.js	Add user interface for enabling performance instrumentation	2015-10-14 10:59:55 +01:00
pluginmaker.js	Add localisable strings for error (#2447)	2016-05-17 21:58:47 +01:00
transliterate.js	Transliterate servername to safe ASCII	2018-08-24 14:33:31 +01:00
utils.js	Add support for global keyboard shortcuts (#3493)	2018-11-06 13:34:51 +00:00