source.php
Code (php)
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
<head>
<title>
Broncode bekijken
</title>
<style type="text/css">
body {
font-family: Lucida Console;
font-size: 10pt;
margin: 0;
overflow-y: scroll;
overflow-x: hidden;
}
#box {
width: 100%;
height: 100%;
background-color: wite;
}
.line {
width: 100%;
background-color: silver;
}
.lineNR {
width: 5%;
height: 12pt;
padding: 2px;
padding-right: 5px;
background-color: silver;
float: left;
text-align: right;
}
.lineTXT {
width: 92%;
height: 12pt;
padding: 2px;
padding-left: 15px;
border-left: 1px solid #000;
background-color: white;
float: left;
}
</style>
<!--[if IE]> <style type="text/css">.lineTXT { width: 95%; }</style> <![endif]-->
</head>
<body>
<div id="box">
<?php
$URL = $_GET["url"];
if(isset($URL) && !empty($URL))
{
$data = file_get_contents($URL);
$data = explode("\n", $data);
$data_o = array("/</", "/>/", "/ /", "/ /");
$data_n = array("<", ">", " ", "<span style='width:80px;'> </span>");
for($line=0; $line < count($data); $line++)
{
$line2 = $line + 1;
echo '<div class="line"><div class="lineNR">'. $line2 .'</div> <div class="lineTXT">'. preg_replace($data_o, $data_n, $data[$line]) .'</div></div>
';
}
}
else
{
echo '<div style="padding:20px;">Kan geen bestand openen zonder naam!</div>';
}
?>
</div>
</body>
<title>
Broncode bekijken
</title>
<style type="text/css">
body {
font-family: Lucida Console;
font-size: 10pt;
margin: 0;
overflow-y: scroll;
overflow-x: hidden;
}
#box {
width: 100%;
height: 100%;
background-color: wite;
}
.line {
width: 100%;
background-color: silver;
}
.lineNR {
width: 5%;
height: 12pt;
padding: 2px;
padding-right: 5px;
background-color: silver;
float: left;
text-align: right;
}
.lineTXT {
width: 92%;
height: 12pt;
padding: 2px;
padding-left: 15px;
border-left: 1px solid #000;
background-color: white;
float: left;
}
</style>
<!--[if IE]> <style type="text/css">.lineTXT { width: 95%; }</style> <![endif]-->
</head>
<body>
<div id="box">
<?php
$URL = $_GET["url"];
if(isset($URL) && !empty($URL))
{
$data = file_get_contents($URL);
$data = explode("\n", $data);
$data_o = array("/</", "/>/", "/ /", "/ /");
$data_n = array("<", ">", " ", "<span style='width:80px;'> </span>");
for($line=0; $line < count($data); $line++)
{
$line2 = $line + 1;
echo '<div class="line"><div class="lineNR">'. $line2 .'</div> <div class="lineTXT">'. preg_replace($data_o, $data_n, $data[$line]) .'</div></div>
';
}
}
else
{
echo '<div style="padding:20px;">Kan geen bestand openen zonder naam!</div>';
}
?>
</div>
</body>