Enable wiki editor toolbar

Enables the formatting toolbar for the wiki editor.
This commit is contained in:
Basti 2019-11-26 22:04:49 +01:00
parent 86c43dfb29
commit 678286d758
No known key found for this signature in database
GPG Key ID: BE4634D632D39B67

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