echo "<script>alert('操作成功');location.href='".$_SERVER["HTTP_REFERER"]."';</script>";
echo
"<script>alert('操作成功');location.href='"
.
$_SERVER
[
"HTTP_REFERER"
].
"';</script>"
;