Update to MediaWiki 1.24.1

1 files changed, 25 insertions, 0 deletions

diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.css b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.css
new file mode 100644
index 00000000..cc80c169
--- /dev/null
+++ b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.css
@@ -0,0 +1,25 @@
+/**
+ * CSS for WikiEditor
+ */
+
+form#editform {
+	margin: 0;
+	padding: 0;
+}
+
+#wpSummary,
+#wpSummaryLabel {
+	margin-bottom: 1em;
+}
+
+#wpTextbox1 {
+	line-height: 1.5em;
+	resize: vertical;
+}
+
+/* Hide the old toolbar until the wikiEditor toolbar is deemed not supported,
+ * hide the WikiEditor toolbar until it's css has loaded */
+.wikiEditor-oldToolbar,
+.wikiEditor-ui-toolbar {
+	display: none;
+}