Add a way for packagers to override some installation details
[mediawiki.git] / resources / jquery.ui / themes / 
treeebf79e82a00b52d8ce67a6290f07fdd5d7962698
drwxr-xr-x   ..
drwxr-xr-x - default
drwxr-xr-x - vector