]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blob - skins/Vector/skinStyles/jquery.ui/PATCHES
MediaWiki 1.30.2-scripts2
[autoinstallsdev/mediawiki.git] / skins / Vector / skinStyles / jquery.ui / PATCHES
1 jquery.ui.button.css
2 * Picked from jQuery UI 1.11.2-alpha instead of 1.9.2.
3 * Extra customizations.
4
5 jquery.ui.datepicker.css
6 * Add @noflip to prevent CSSJanus flipping.
7
8 jquery.ui.dialog.css
9 * Extra customizations.
10
11 jquery.ui.resizable.css
12 * Add @noflip to prevent CSSJanus flipping.
13
14 jquery.ui.theme.css
15 * Add @embed instructions for CSSMin.
16 * Change font-size from 1.0em to 0.8em.
17 * Join ".ui-icon", ".ui-widget-content .ui-icon" and ".ui-widget-header .ui-icon" rules
18   to optimise image embedding.
19 * Removed ".ui-widget-content a { color: #362b36; }" and
20   ".ui-widget-header a { color: #222222; }" due to bug T85857.
21
22 images:
23 * Add close.png and titlebar-fade.png (used in customizations for
24   jquery.ui.dialog.css)
25 * Change chmod from 755 to 644.