Update to MediaWiki 1.25.1

1 files changed, 20 insertions, 0 deletions

diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.less b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.less
new file mode 100644
index 00000000..67da9329
--- /dev/null
+++ b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.less
@@ -0,0 +1,20 @@
+/**
+ * CSS for WikiEditor
+ */
+
+form#editform {
+	margin: 0;
+	padding: 0;
+}
+
+#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;
+}