git.shiar.nl
/
minimedit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edit: detect executable files as uneditable
[minimedit.git]
/
foot.inc.php
diff --git
a/foot.inc.php
b/foot.inc.php
old mode 100644
(file)
new mode 100755
(executable)
index
30426ea
..
d2ba826
--- a/
foot.inc.php
+++ b/
foot.inc.php
@@
-1,7
+1,7
@@
</div>
<hr class="footer" />
<?php
</div>
<hr class="footer" />
<?php
-if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.
html
')) {
+if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.
php
')) {
echo <<<'EOT'
<script>
var pagebody = document.getElementsByClassName('article')[0];
echo <<<'EOT'
<script>
var pagebody = document.getElementsByClassName('article')[0];
@@
-13,6
+13,13
@@
EOT;
define('N', "\n");
$editable = FALSE; // "Beheer toegestaan voor {$_SERVER['REMOTE_ADDR']}:";
define('N', "\n");
$editable = FALSE; // "Beheer toegestaan voor {$_SERVER['REMOTE_ADDR']}:";
+
+$curfile = ltrim($_SERVER['SCRIPT_NAME'], '/');
+if (is_executable(__DIR__ . '/' . $curfile)) {
+ // dynamic code is +x
+ $editable = FALSE;
+}
+
if ($editable) {
echo '<p class="footer">'.N;
echo $editable.N;
if ($editable) {
echo '<p class="footer">'.N;
echo $editable.N;