diff -r 8e116b8ddbc3 -r 69503659fe8f src/cm/media/js/client/c_sync.js
--- a/src/cm/media/js/client/c_sync.js	Mon Oct 21 16:50:41 2013 +0200
+++ b/src/cm/media/js/client/c_sync.js	Wed Oct 30 18:08:42 2013 +0100
@@ -17,7 +17,9 @@
 }
 
 // Are we on Safari mobile ?
-var safari_mobile = /iPhone|iPod|iPad/.test(navigator.userAgent);
+// made global to be used in templates/site/text_view_comments.html
+// and in media/js/site/c_text_view_comments.js
+safari_mobile = /iPhone|iPod|iPad/.test(navigator.userAgent);
 // If so, we must scroll the jQuery UI pane created for Safari mobile instead of the whole document
 var the_scrolling_part = safari_mobile ? '#maincontainer' : 'document' ;