Mathias Kresin e0fd734c64 use javascript advanced optimizations, improve make-js script ... Major benefit, beside a smaller file size, is the possibility to remove debug informations from the minified javascript. make-js script: - take care of any warnings and errors - raise warning level to verbose js/* - switch to Array-Access Property Notation for external data (prevents renaming by the closure compiler)		2015-01-28 05:26:55 +01:00
..
all.min.js	use javascript advanced optimizations, improve make-js script	2015-01-28 05:26:55 +01:00
app.js	Move update icon and update icon blinking to css	2014-12-26 23:01:05 +01:00
event.js	re-enable help shortcut for Firefox, fix javascript errors	2015-01-18 01:26:28 +01:00
feed.js	use javascript advanced optimizations, improve make-js script	2015-01-28 05:26:55 +01:00
item.js	use javascript advanced optimizations, improve make-js script	2015-01-28 05:26:55 +01:00
nav.js	do not deselect the current item if no successor/predecessors exists	2014-11-20 10:46:34 +01:00
popup.js	Remove Google auth (openid is deprecated) and Persona auth (useless)	2014-11-07 20:53:50 -05:00