This file is indexed.

/usr/share/php/HTTP/WebDAV/file.php is in php-http-webdav-server 1.0.0RC8-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
<?php // $Id$

	ini_set("include_path", ini_get("include_path").":/usr/local/apache/htdocs");
  require_once "HTTP/WebDAV/Server/Filesystem.php";
	$server = new HTTP_WebDAV_Server_Filesystem();
	$server->ServeRequest($_SERVER["DOCUMENT_ROOT"]);
?>