Merge "Support updating search index when page is deleted"
[mediawiki.git] / skins / 
treedf0082d1781faa9755e3e83b50b9a17bafbab742
drwxr-xr-x   ..
-rw-r--r-- 17724 CologneBlue.php
-rw-r--r-- 5247 Modern.php
-rw-r--r-- 9770 MonoBook.php
-rw-r--r-- 16014 Vector.php
drwxr-xr-x - cologneblue
drwxr-xr-x - common
drwxr-xr-x - modern
drwxr-xr-x - monobook
drwxr-xr-x - vector