diff options
| author | Sem <sembrestels@riseup.net> | 2013-11-09 16:13:46 +0100 |
|---|---|---|
| committer | Sem <sembrestels@riseup.net> | 2013-11-09 16:13:46 +0100 |
| commit | e2a2fbdccaf0f48878903f448428cab5852d0870 (patch) | |
| tree | 9cbe6b74c8e2e191ec65fba78d7435af35506f82 /mod/dokuwiki/vendors/dokuwiki/lib/images/fileicons/index.php | |
| parent | 59448d8a9864573c05477a63a6dda404c455fdb6 (diff) | |
| parent | b603da53e13005c67d05efac67b70023dfffc450 (diff) | |
| download | elgg-e2a2fbdccaf0f48878903f448428cab5852d0870.tar.gz elgg-e2a2fbdccaf0f48878903f448428cab5852d0870.tar.bz2 | |
Add 'mod/dokuwiki/' from commit 'b603da53e13005c67d05efac67b70023dfffc450'
git-subtree-dir: mod/dokuwiki
git-subtree-mainline: 59448d8a9864573c05477a63a6dda404c455fdb6
git-subtree-split: b603da53e13005c67d05efac67b70023dfffc450
Diffstat (limited to 'mod/dokuwiki/vendors/dokuwiki/lib/images/fileicons/index.php')
| -rw-r--r-- | mod/dokuwiki/vendors/dokuwiki/lib/images/fileicons/index.php | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/mod/dokuwiki/vendors/dokuwiki/lib/images/fileicons/index.php b/mod/dokuwiki/vendors/dokuwiki/lib/images/fileicons/index.php new file mode 100644 index 000000000..c1e64fe2a --- /dev/null +++ b/mod/dokuwiki/vendors/dokuwiki/lib/images/fileicons/index.php @@ -0,0 +1,50 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" + lang="en" dir="ltr"> +<head> + <title>filetype icons</title> + + <style type="text/css"> + body { + background-color: #ccc; + font-family: Arial; + } + + .box { + width: 200px; + float:left; + padding: 0.5em; + margin: 0; + } + + .white { + background-color: #fff; + } + + .black { + background-color: #000; + } + </style> + +</head> +<body> + +<div class="white box"> +<?php +foreach (glob('*.png') as $img) { + echo '<img src="'.$img.'" alt="'.$img.'" title="'.$img.'" /> '; +} +?> +</div> + +<div class="black box"> +<?php +foreach (glob('*.png') as $img) { + echo '<img src="'.$img.'" alt="'.$img.'" title="'.$img.'" /> '; +} +?> +</div> + +</body> +</html> |