Merge "mediawiki.action.edit.editWarning: Reuse jQuery collections"
[mediawiki.git] / skins / vector / components / 
tree3cbaddb3610da92ac90cd7e2e36eec557bf07037
drwxr-xr-x   ..
-rw-r--r-- 438 animations.less
-rw-r--r-- 2765 common.less
-rw-r--r-- 271 externalLinks.less
-rw-r--r-- 678 footer.less
-rw-r--r-- 2699 navigation.less
-rw-r--r-- 381 notifications.less
-rw-r--r-- 874 personalMenu.less
-rw-r--r-- 2542 search.less
-rw-r--r-- 5228 tabs.less
-rw-r--r-- 1170 watchstar.less