<commit_before><!DOCTYPE html>

<?php
ob_start();
set_include_path( __DIR__ . '/actions' );

/**
 * @brief Return link to calendar.
 * @return
 */
function calendarURL( )
{
    $conf = getConfigFromDB( );
    return __get__( $conf, 'CALENDAR_URL', '' );
}


if(!isset($_SESSION))
    session_start();

// If this is not a index.php page. check if access is valid.
if( ! $_SERVER['PHP_SELF'] == 'index.php' )
    include_once( 'is_valid_access.php' );

ini_set( 'date.timezone', 'Asia/Kolkata' );

?>

<html>
<meta content="text/html;charset=utf-8" http-equiv="Content-Type">

<div class="header">

<title>NCBS Hippo</title>

<h1><a href="index.php">NCBS Hippo</a></h1>

<div style="font-size:small">
<table class="public_links">
    <tr>
    <td>
    <a href="allevents.php" target="hippo_popup">Bookings</a>
    </td>
    <td>
    <a href="aws.php" target="hippo_popup">AWSs</a>
    </td>
    <td>
    <a href="events.php" target="hippo_popup">Talks</a>
    </td>
    <td>
    <a href="jc.php" target="hippo_popup">JCs</a>
    </td>
    <!-- <td> <a href="user_aws_search.php" target="hippo_popup">Search AWS</a> </td> -->
    <td> <a href="statistics.php" target="hippo_popup" >Statistics </a> </td>
    <!-- <td> <a href="active_speakers.php" target="hippo_popup" >AWS speakers</a></td> -->
    <td> <a href="courses.php" target="hippo_popup" >Courses</a></td>
    <td> <a href="map.php" target="hippo_popup" >Map</a></td>
    <!--
    RSS has been thorougly abused to make it work with NCBS screen.
    <td> <a href="rss.php" target="hippo_popup" >
            <img src="data/feed-icon-14x14.2168a573d0d4.png"
                alt="Subscribe to public events">
            </a></td>
    -->
    <td> <a href="https://dilawar.github.io/Hippo" target="_blank" >Docs</a></td>
    </tr>
</table>
</div>

</div>
<br />
<br />
</html>

<!--  REQUIRED -->
<script src="./node_modules/jquery/dist/jquery.js"></script>

<script src="./node_modules/jquery-ui-dist/jquery-ui.min.js"></script>
<link href="./node_modules/jquery-ui-dist/jquery-ui.min.css" rel="stylesheet" type="text/css" />

<!--
<link rel="stylesheet" href="./node_modules/bootstrap/dist/css/bootstrap.min.css"/>
-->

<script src="./node_modules/jquery-timepicker/jquery.timepicker.js"></script>
<link href="./node_modules/jquery-timepicker/jquery.timepicker.css" rel="stylesheet" type="text/css" />

<script src="./node_modules/jquery-ui-multi-date-picker/dist/jquery-ui.multidatespicker.js"></script>

<link href="hippo.css" rel="stylesheet" type="text/css" />

<!-- Disable favicon requests -->
<link rel="icon" href="data:,">

<!-- Font awesome -->
<link rel="stylesheet" href="./node_modules/font-awesome/css/font-awesome.css"/>

<!-- sort table. -->
<script src="./node_modules/sorttable/sorttable.js"></script>
<script type="text/javascript" charset="utf-8">
    $(".sortable").sortable( );
</script>


<script>
$( function() {
    $( "input.datepicker" ).datepicker( { dateFormat: "yy-mm-dd" } );
  } );
</script>

<script>
$( function() {
    $( "input.datetimepicker" ).datepicker( { dateFormat: "yy-mm-dd" } );
  } );
</script>

<script>
$(function(){
    $('input.timepicker').timepicker( {
            minTime : '8am'
            , scrollDefault : 'now'
            , timeFormat : 'H:mm', interval : '15'
    });
});
</script>

<!-- Make sure date is in yyyy-dd-mm format e.g. 2016-11-31 etc. --><commit_msg>Dynamic is false. Don't restrict user to scroll up.<commit_after><!DOCTYPE html>

<?php
ob_start();
set_include_path( __DIR__ . '/actions' );

/**
 * @brief Return link to calendar.
 * @return
 */
function calendarURL( )
{
    $conf = getConfigFromDB( );
    return __get__( $conf, 'CALENDAR_URL', '' );
}


if(!isset($_SESSION))
    session_start();

// If this is not a index.php page. check if access is valid.
if( ! $_SERVER['PHP_SELF'] == 'index.php' )
    include_once( 'is_valid_access.php' );

ini_set( 'date.timezone', 'Asia/Kolkata' );

?>

<html>
<meta content="text/html;charset=utf-8" http-equiv="Content-Type">

<div class="header">

<title>NCBS Hippo</title>

<h1><a href="index.php">NCBS Hippo</a></h1>

<div style="font-size:small">
<table class="public_links">
    <tr>
    <td>
    <a href="allevents.php" target="hippo_popup">Bookings</a>
    </td>
    <td>
    <a href="aws.php" target="hippo_popup">AWSs</a>
    </td>
    <td>
    <a href="events.php" target="hippo_popup">Talks</a>
    </td>
    <td>
    <a href="jc.php" target="hippo_popup">JCs</a>
    </td>
    <!-- <td> <a href="user_aws_search.php" target="hippo_popup">Search AWS</a> </td> -->
    <td> <a href="statistics.php" target="hippo_popup" >Statistics </a> </td>
    <!-- <td> <a href="active_speakers.php" target="hippo_popup" >AWS speakers</a></td> -->
    <td> <a href="courses.php" target="hippo_popup" >Courses</a></td>
    <td> <a href="map.php" target="hippo_popup" >Map</a></td>
    <!--
    RSS has been thorougly abused to make it work with NCBS screen.
    <td> <a href="rss.php" target="hippo_popup" >
            <img src="data/feed-icon-14x14.2168a573d0d4.png"
                alt="Subscribe to public events">
            </a></td>
    -->
    <td> <a href="https://dilawar.github.io/Hippo" target="_blank" >Docs</a></td>
    </tr>
</table>
</div>

</div>
<br />
<br />
</html>

<!--  REQUIRED -->
<script src="./node_modules/jquery/dist/jquery.js"></script>

<script src="./node_modules/jquery-ui-dist/jquery-ui.min.js"></script>
<link href="./node_modules/jquery-ui-dist/jquery-ui.min.css" rel="stylesheet" type="text/css" />

<!--
<link rel="stylesheet" href="./node_modules/bootstrap/dist/css/bootstrap.min.css"/>
-->

<script src="./node_modules/jquery-timepicker/jquery.timepicker.js"></script>
<link href="./node_modules/jquery-timepicker/jquery.timepicker.css" rel="stylesheet" type="text/css" />

<script src="./node_modules/jquery-ui-multi-date-picker/dist/jquery-ui.multidatespicker.js"></script>

<link href="hippo.css" rel="stylesheet" type="text/css" />

<!-- Disable favicon requests -->
<link rel="icon" href="data:,">

<!-- Font awesome -->
<link rel="stylesheet" href="./node_modules/font-awesome/css/font-awesome.css"/>

<!-- sort table. -->
<script src="./node_modules/sorttable/sorttable.js"></script>
<script type="text/javascript" charset="utf-8">
    $(".sortable").sortable( );
</script>


<script>
$( function() {
    $( "input.datepicker" ).datepicker( { dateFormat: "yy-mm-dd" } );
  } );
</script>

<script>
$( function() {
    $( "input.datetimepicker" ).datepicker( { dateFormat: "yy-mm-dd" } );
  } );
</script>

<script>
$(function(){
    $('input.timepicker').timepicker( {
            minTime : '8am'
            , scrollDefault : 'now'
            , timeFormat : 'H:mm', interval : '15'
            , startTime : '8am'
            , dynamic : false
    });
});
</script>

<!-- Make sure date is in yyyy-dd-mm format e.g. 2016-11-31 etc. -->
{'fraction_non_alphanumeric': 0.21909620991253645, 'fraction_numerical': 0.008309037900874635, 'mean_word_length': 3.4179008370895043, 'pattern_counts': {'":': 0, '<': 201, '<?xml version=': 0, '>': 201, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4345504', 'n_tokens_mistral': 2590, 'n_tokens_neox': 2540, 'n_words': 458}