PHP getLocalStaticの例

コード例 #1

ファイル: index.php プロジェクト: JANQLIANGTSAI/tsugi

    $oldsettings['exercise'] = $ex;
}

?>
<style>
body { font-family: sans-serif; }
.inputarea { width: 100%; height: 250px; }
</style>
<link href="<?php echo($CFG->staticroot); ?>/static/css/jquery.splitter.css" rel="stylesheet"/>
<?php if ( $codemirror ) { ?>
<link href="<?php echo($CFG->staticroot); ?>/static/codemirror/codemirror.css" rel="stylesheet"/>
<script type="text/javascript" src="<?php echo($CFG->staticroot); ?>/static/codemirror/codemirror.js"></script>
<script type="text/javascript" src="<?php echo($CFG->staticroot); ?>/static/codemirror/python.js"></script>
<?php } ?>
<script src="<?php echo(getLocalStatic(__FILE__)); ?>/static/skulpt-003/skulpt.min.js?v=1" type="text/javascript"></script>
<script src="<?php echo(getLocalStatic(__FILE__)); ?>/static/skulpt-003/skulpt-stdlib.js?v=1" type="text/javascript"></script>
<script type="text/javascript">

function builtinRead(x)
{
    if (Sk.builtinFiles === undefined || Sk.builtinFiles["files"][x] === undefined)
        throw "File not found: '" + x + "'";
    return Sk.builtinFiles["files"][x];
}

function makefilediv(name,text) {
    text.replace("&","&amp;");
    text.replace("<","&lt;");
/*
    var msgContainer = document.createElement('div');

コード例 #2

ファイル: index.php プロジェクト: shaamimahmed/tsugi

<script type="text/javascript">
function gradeLoad() {
    window.console && console.log('Loading and updating your grade...');
    $.getJSON('<?php 
echo addSession('update_grade.php');
?>
', function(data) {
        window.console && console.log(data);
        if ( data.grade ) {
            $("#gradeinfo").html('Your current grade is '+data.grade*100.0+'%');
        } else {
            $("#gradeinfo").html('You do not have a grade.');
            window.console && console.log('Take a screen shot of the console output and send to support...');
        }
    });
}
</script>
<?php 
$OUTPUT->footerStart();
?>
<script type="text/javascript">
$(document).ready(function() {
    gradeLoad();
} );
</script>
<script src="<?php 
echo getLocalStatic(__FILE__);
?>
/static/prism.js" type="text/javascript"></script>
<?php 
$OUTPUT->footerEnd();