2020-11-14 02:34:01 +08:00
|
|
|
var eid = <?php echo validInt($_REQUEST['eid']) ?>;
|
2020-11-15 04:19:28 +08:00
|
|
|
var WEB_LIST_THUMBS = <?php echo ZM_WEB_LIST_THUMBS?'true':'false' ?>;
|
2020-11-26 03:03:16 +08:00
|
|
|
var WEB_ANIMATE_THUMBS = <?php echo ZM_WEB_ANIMATE_THUMBS?'true':'false' ?>;
|
