Remove the showjumplinks user preference
[mediawiki.git] / skins / 
tree881a5c3065b633c8d67051a37e4e517469e13cbf
drwxr-xr-x   ..
-rw-r--r-- 17581 CologneBlue.php
-rw-r--r-- 5191 Modern.php
-rw-r--r-- 9708 MonoBook.php
-rw-r--r-- 15948 Vector.php
drwxr-xr-x - cologneblue
drwxr-xr-x - common
drwxr-xr-x - modern
drwxr-xr-x - monobook
drwxr-xr-x - vector