-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
-"http://www.w3.org/TR/html4/loose.dtd">
-
-<html>
-<head>
-<title>Unlock file {FILE}</title>
-<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
-</head>
-<body bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
-
-<h1>Unlock file {FILE}</h1>
-
-<p>(equals <a href="{URL}" target="_blank">{URL}</a>)</p>
-
-<p><a href="{SCRIPT}?command=show&file={DIR}">Back to {DIR}</a></p>
-
-<p>Someone else is currently editing this file. At least, the file is marked so. Maybe, someone who was editing the file has forgotten to unlock it. In this case (and <b>only</b> in this case) you can unlock the file using this button:</p>
-
-<form action="{SCRIPT}" method="get">
-<input type="hidden" name="file" value="{FILE}">
-<input type="hidden" name="command" value="unlock">
-<input type="hidden" name="confirmed" value="1">
-
-<p><input type="submit" value="Unlock file '{FILE}'"></p>
-</form>
-
-<hr>
-
-<p align="right"><a href="{SCRIPT}?command=about" target="_blank"><i>About Dev-Editor</i></a></p>
-</body>
-</html>
\ No newline at end of file
git.p6c8.net / devedit.git / commitdiff