芝麻web文件管理V1.00
编辑当前文件:/home/mgatv524/public_html/avenida/vendor/ezyang/htmlpurifier/maintenance/rename-config.php
#!/usr/bin/php buildFile($interchange, $file); $contents = file_get_contents($file); if (strpos($contents, "\r\n") !== false) { $nl = "\r\n"; } elseif (strpos($contents, "\r") !== false) { $nl = "\r"; } else { $nl = "\n"; } // replace name with new name $contents = str_replace($old, $new, $contents); if ($interchange->directives[$old]->aliases) { $pos_alias = strpos($contents, 'ALIASES:'); $pos_ins = strpos($contents, $nl, $pos_alias); if ($pos_ins === false) $pos_ins = strlen($contents); $contents = substr($contents, 0, $pos_ins) . ", $old" . substr($contents, $pos_ins); file_put_contents($file, $contents); } else { $lines = explode($nl, $contents); $insert = false; foreach ($lines as $n => $line) { if (strncmp($line, '--', 2) === 0) { $insert = $n; break; } } if (!$insert) { $lines[] = "ALIASES: $old"; } else { array_splice($lines, $insert, 0, "ALIASES: $old"); } file_put_contents($file, implode($nl, $lines)); } rename("$old.txt", "$new.txt") || exit(1);