Add comment about why we pick a random number in PHP and use it as a
[mediawiki.git] / stylesheets / davinci / 
tree66fc61f7cdc8a89e1b8eea2044fb2bdd33f0a2c9
drwxr-xr-x   ..
-rw-r--r-- 2414 IE50Fixes.css
-rw-r--r-- 336 IE55Fixes.css
-rw-r--r-- 1087 IE60Fixes.css
-rw-r--r-- 359 IEFixes.css
-rw-r--r-- 50 bullet.gif
-rw-r--r-- 949 discussionitem_icon.gif
-rw-r--r-- 921 file_icon.gif
-rw-r--r-- 942 link_icon.gif
-rw-r--r-- 918 lock_icon.gif
-rw-r--r-- 918 mail_icon.gif
-rw-r--r-- 16671 main.css
-rw-r--r-- 47 required.gif
-rw-r--r-- 932 user.gif
-rw-r--r-- 11974 wiki.png