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
1 changed files with 2 additions and 0 deletions

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