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']);
?>
,
