remove line duplicate

10 months ago · 35893d2db2
1 changed files with 0 additions and 1 deletions
--- a/src/Dokuwiki/Reader.php
+++ b/src/Dokuwiki/Reader.php
@ -187,7 +187,6 @@ class Reader
				@@ -187,7 +187,6 @@ class Reader
                // Make sure inline tag closed
                if (preg_match('/<\/(code|file)>/i', $line))
                {
-                    $lines[] = $line;
                    $lines[] = '```';

                    $raw = false;