: str_replace(): Passing null to parameter #2 ($replace) of type array|string is deprecated in
<title>CodeMirror: Oz mode</title>
<link rel=stylesheet href="../../doc/docs.css">
<link rel="stylesheet" href="../../lib/codemirror.css">
<script src="../../lib/codemirror.js"></script>
<script src="oz.js"></script>
<script type="text/javascript" src="../../addon/runmode/runmode.js"></script>
.CodeMirror {border: 1px solid #aaa;}
<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
<li><a href="../../index.html">Home</a>
<li><a href="../../doc/manual.html">Manual</a>
<li><a href="https://github.com/codemirror/codemirror">Code</a>
<li><a href="../index.html">Language modes</a>
<li><a class=active href="#">Oz</a>
<textarea id="code" name="code">
case Stream of nil then S
[] H|T then S|{Sum H+S T} end
thread X = {Ints 0 1000} end
<p>MIME type defined: <code>text/x-oz</code>.</p>
<script type="text/javascript">
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {