picodav/make.php
bohwaz a034cc2738 First commit
FossilOrigin-Name: c3ed52616cdce031b93441dfe50e91ccc35aa8c10c9293872f88ab50d101e1fa
2022-11-14 21:53:15 +00:00

25 lines
616 B
PHP

<?php
$out = fopen('index.php', 'w');
$php = file_get_contents('server.php');
$php = strtr($php, [
'__JS_SIZE__' => filesize('webdav.js'),
'__CSS_SIZE__' => filesize('webdav.css'),
]);
$php = preg_replace('/\}\s*$/', "\n?>\n", $php);
$end = "\n\n<?php } ?>\n";
$size = strlen($php);
$count = substr_count($php, '__PHP_SIZE__');
$size -= strlen('__PHP_SIZE__') * $count;
$size += strlen((string) $size) * $count;
$php = str_replace('__PHP_SIZE__', $size, $php);
fwrite($out, $php);
fwrite($out, file_get_contents('webdav.js'));
fwrite($out, file_get_contents('webdav.css'));
fwrite($out, $end);
fclose($out);