diff -r c3a08790e8c8 -r d1fe53ad8d72 src/js/pop.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/js/pop.js	Fri Dec 02 11:06:30 2011 +0100
@@ -0,0 +1,2 @@
+/* wrapper that simulates popcorn.js because
+   popcorn is a bit unstable at the time */