Edit File by line

Deprecated: str_replace(): Passing null to parameter #2 ($replace) of type array|string is deprecated in /home/sportsfever/public_html/filemanger/function.php on line 93
/home/sportsfe.../httpdocs/wp-conte.../plugins/wp-file-.../lib/codemirr.../mode/oz
File: index.html
<!doctype html>
[0] Fix | Delete
[1] Fix | Delete
<title>CodeMirror: Oz mode</title>
[2] Fix | Delete
<meta charset="utf-8"/>
[3] Fix | Delete
<link rel=stylesheet href="../../doc/docs.css">
[4] Fix | Delete
[5] Fix | Delete
<link rel="stylesheet" href="../../lib/codemirror.css">
[6] Fix | Delete
<script src="../../lib/codemirror.js"></script>
[7] Fix | Delete
<script src="oz.js"></script>
[8] Fix | Delete
<script type="text/javascript" src="../../addon/runmode/runmode.js"></script>
[9] Fix | Delete
<style>
[10] Fix | Delete
.CodeMirror {border: 1px solid #aaa;}
[11] Fix | Delete
</style>
[12] Fix | Delete
<div id=nav>
[13] Fix | Delete
<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
[14] Fix | Delete
<ul>
[15] Fix | Delete
<li><a href="../../index.html">Home</a>
[16] Fix | Delete
<li><a href="../../doc/manual.html">Manual</a>
[17] Fix | Delete
<li><a href="https://github.com/codemirror/codemirror">Code</a>
[18] Fix | Delete
</ul>
[19] Fix | Delete
<ul>
[20] Fix | Delete
<li><a href="../index.html">Language modes</a>
[21] Fix | Delete
<li><a class=active href="#">Oz</a>
[22] Fix | Delete
</ul>
[23] Fix | Delete
</div>
[24] Fix | Delete
[25] Fix | Delete
<article>
[26] Fix | Delete
<h2>Oz mode</h2>
[27] Fix | Delete
<textarea id="code" name="code">
[28] Fix | Delete
declare
[29] Fix | Delete
fun {Ints N Max}
[30] Fix | Delete
if N == Max then nil
[31] Fix | Delete
else
[32] Fix | Delete
{Delay 1000}
[33] Fix | Delete
N|{Ints N+1 Max}
[34] Fix | Delete
end
[35] Fix | Delete
end
[36] Fix | Delete
[37] Fix | Delete
fun {Sum S Stream}
[38] Fix | Delete
case Stream of nil then S
[39] Fix | Delete
[] H|T then S|{Sum H+S T} end
[40] Fix | Delete
end
[41] Fix | Delete
[42] Fix | Delete
local X Y in
[43] Fix | Delete
thread X = {Ints 0 1000} end
[44] Fix | Delete
thread Y = {Sum 0 X} end
[45] Fix | Delete
{Browse Y}
[46] Fix | Delete
end
[47] Fix | Delete
</textarea>
[48] Fix | Delete
<p>MIME type defined: <code>text/x-oz</code>.</p>
[49] Fix | Delete
[50] Fix | Delete
<script type="text/javascript">
[51] Fix | Delete
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
[52] Fix | Delete
lineNumbers: true,
[53] Fix | Delete
mode: "text/x-oz",
[54] Fix | Delete
readOnly: false
[55] Fix | Delete
});
[56] Fix | Delete
</script>
[57] Fix | Delete
</article>
[58] Fix | Delete
[59] Fix | Delete
It is recommended that you Edit text format, this type of Fix handles quite a lot in one request
Function