From c1f7cf67f4e93be40d5c4e5355f88c4584de01fa Mon Sep 17 00:00:00 2001
From: Mark Nelson <markn@moodle.com>
Date: Mon, 23 Jul 2018 18:27:42 +0800
Subject: [PATCH] MDL-50225 mod_wiki: removed unused file wiki/editors/html.php

---
 mod/wiki/editors/html.php | 34 ----------------------------------
 1 file changed, 34 deletions(-)
 delete mode 100644 mod/wiki/editors/html.php

diff --git a/mod/wiki/editors/html.php b/mod/wiki/editors/html.php
deleted file mode 100644
index 96b4e80e66a..00000000000
--- a/mod/wiki/editors/html.php
+++ /dev/null
@@ -1,34 +0,0 @@
-<?php
-/**
- * This file defines a simple editor
- *
- * @author Jordi Piguillem
- * @author Josep Arus
- *
- * @license http://www.gnu.org/copyleft/gpl.html GNU Public License
- * @package mod_wiki
- *
- */
-
-/**
- * @TODO: Doc this function
- */
-function wiki_print_editor_html($pageid, $content, $version = -1, $section = null, $upload = false, $deleteuploads = array()) {
-    global $CFG, $OUTPUT;
-
-    $OUTPUT->heading(strtoupper(get_string('formathtml', 'wiki')), 3);
-
-    $action = $CFG->wwwroot.'/mod/wiki/edit.php?pageid='.$pageid;
-
-    if (!empty($section)) {
-        $action .= "&section=".urlencode($section);
-    }
-
-    echo $OUTPUT->container_start('container');
-    echo '<form method="post" action="'.$action.'">';
-    $textarea = print_textarea(true, 20, 100, 0, 0, "newcontent", $content, 0, true, '', 'form-textarea-advanced');
-    echo $OUTPUT->container($textarea, 'wiki_editor');
-    wiki_print_edit_form_default_fields('html', $pageid, $version, $upload, $deleteuploads);
-    echo '</form>';
-    echo $OUTPUT->container_end();
-}