mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-21 16:08:24 +03:00
36 lines
718 B
HTML
36 lines
718 B
HTML
<html>
|
|
<head>
|
|
<link rel="stylesheet" type="text/css" src="static/reset.css">
|
|
<script src='src/stdlib/require.js'></script>
|
|
|
|
<script>
|
|
window.measure = function(name, fn) {
|
|
var start = new Date().getTime();
|
|
obj = {stop: function() {
|
|
var end = new Date().getTime();
|
|
var total = (end - start) / 1000;
|
|
while(name.length < 40) {
|
|
name = name + " "
|
|
}
|
|
console.log(name + (end - start) / 1000);
|
|
}}
|
|
|
|
if (fn) {
|
|
fn()
|
|
obj.stop()
|
|
}
|
|
else {
|
|
return obj
|
|
}
|
|
}
|
|
|
|
window.onload = function() {
|
|
require($bootstrapScript);
|
|
}
|
|
</script>
|
|
</head>
|
|
<body>
|
|
</body>
|
|
</html>
|
|
|