1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
<?php
function showfile($filename, $lang) {
echo "<strong>".$filename."</strong>";
echo '<div id="ace_'.str_replace(".", "", $filename).'"" class="ace">';
$handle = @fopen($filename, "r");
if ($handle) {
while (($buffer = fgets($handle, 4096)) !== false) {
$buffer = str_replace("&", "&", $buffer);
$buffer = str_replace("<", "<", $buffer);
$buffer = str_replace(">", ">", $buffer);
echo $buffer;
}
if (!feof($handle)) {
echo "Error: unexpected fgets() fail\n";
}
fclose($handle);
}
echo '</div>';
echo '
<script type="text/javascript">
var editor = ace.edit("ace_'.str_replace(".", "", $filename).'");
editor.setTheme("ace/theme/monokai");
editor.getSession().setMode("ace/mode/'.$lang.'");
editor.setReadOnly(true);
editor.setShowPrintMargin(false);
editor.setDisplayIndentGuides(false);
aceeditors.push("ace_'.str_replace(".", "", $filename).'");
</script>
';
}
function showdoc($filename) {
$handle = @fopen($filename, "r");
if ($handle) {
while (($buffer = fgets($handle, 4096)) !== false) {
echo $buffer;
}
if (!feof($handle)) {
echo "Error: unexpected fgets() fail\n";
}
fclose($handle);
}
}
?>
|