function httpAuthentication() { $auth = httpAuthCredentials(); echo '<script type="text/javascript"> jQuery(document).ready(function() { HTTPAuth.go(' . json_encode($auth['user']) . ', ' . json_encode($auth['password']) . ', ' . json_encode($auth['host']) . ', 10); }); </script>'; }
echoGetFiles($hash, '', 'css', 'mobile.xml', ''); echo "\n"; ?> <?php echoGetFiles($hash, $locale, 'js', 'mobile.xml', ''); echo "\n"; ?> <script type="text/javascript"> var HTTP_AUTH = {}; </script> <?php if (httpAuthEnabled()) { echo "\n\t"; $auth_credentials = httpAuthCredentials(); ?> <script type="text/javascript"> HTTP_AUTH = { user: <?php echo json_encode($auth_credentials['user']); ?> , password: <?php echo json_encode($auth_credentials['password']); ?> , host: <?php echo json_encode($auth_credentials['host']); ?> ,