]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - skins/vector/skinStyles/jquery.ui/PATCHES
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / skins / vector / skinStyles / jquery.ui / PATCHES
diff --git a/skins/vector/skinStyles/jquery.ui/PATCHES b/skins/vector/skinStyles/jquery.ui/PATCHES
new file mode 100644 (file)
index 0000000..85f663e
--- /dev/null
@@ -0,0 +1,25 @@
+jquery.ui.button.css
+* Picked from jQuery UI 1.11.2-alpha instead of 1.9.2.
+* Extra customizations.
+
+jquery.ui.datepicker.css
+* Add @noflip to prevent CSSJanus flipping.
+
+jquery.ui.dialog.css
+* Extra customizations.
+
+jquery.ui.resizable.css
+* Add @noflip to prevent CSSJanus flipping.
+
+jquery.ui.theme.css
+* Add @embed instructions for CSSMin.
+* Change font-size from 1.0em to 0.8em.
+* Join ".ui-icon", ".ui-widget-content .ui-icon" and ".ui-widget-header .ui-icon" rules
+  to optimise image embedding.
+* Removed ".ui-widget-content a { color: #362b36; }" and
+  ".ui-widget-header a { color: #222222; }" due to bug T85857.
+
+images:
+* Add close.png and titlebar-fade.png (used in customizations for
+  jquery.ui.dialog.css)
+* Change chmod from 755 to 644.