Enable wiki editor toolbar #117

Manually merged
greg merged 1 commits from chore/enable_wiki_editor_toolbar into master 2019-11-29 16:38:11 +00:00

View File

@ -196,6 +196,8 @@ $wgArticlePath = "/$1";
file.insert_line_if_no_match(/Mermaid/,
"wfLoadExtension( 'Mermaid' );")
file.insert_line_if_no_match(/WikiEditor/,
"wfLoadExtension( 'WikiEditor' );")
file.write_file
end