diff options
author | Robin Appelman <icewind1991@gmail.com> | 2011-07-07 02:41:22 +0200 |
---|---|---|
committer | Robin Appelman <icewind1991@gmail.com> | 2011-07-07 02:41:22 +0200 |
commit | af3aceaf0863f9a4c194925aa40ef97afd459f45 (patch) | |
tree | df8be71765b8573a42127c90d1e9697f2b2e0ae0 /files/templates/part.list.php | |
parent | f22e39a5745fcdf745aa2af0917ca62ef7598904 (diff) | |
download | nextcloud-server-af3aceaf0863f9a4c194925aa40ef97afd459f45.tar.gz nextcloud-server-af3aceaf0863f9a4c194925aa40ef97afd459f45.zip |
show file extention in a lighter color
Diffstat (limited to 'files/templates/part.list.php')
-rw-r--r-- | files/templates/part.list.php | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/files/templates/part.list.php b/files/templates/part.list.php index c7028c3c88c..119b1bbd83d 100644 --- a/files/templates/part.list.php +++ b/files/templates/part.list.php @@ -3,7 +3,15 @@ $simple_size_color = 200-intval(pow($simple_file_size,3)); ?> <tr data-file="<?php echo $file['name'];?>" data-type="<?php echo ($file['type'] == 'dir')?'dir':'file'?>" data-mime="<?php echo $file['mime']?>"> <td class="selection"><input type="checkbox" /></td> - <td class="filename"><a style="background-image:url(<?php if($file['type'] == 'dir') echo mimetype_icon('dir'); else echo mimetype_icon($file['mime']); ?>)" href="<?php if($file['type'] == 'dir') echo link_to('files', 'index.php?dir='.$file['directory'].'/'.$file['name']); else echo link_to('files', 'download.php?file='.$file['directory'].'/'.$file['name']); ?>" title=""><?php if($file['type'] == 'dir') echo "<strong>"; echo htmlspecialchars($file['name']); if($file['type'] == 'dir') echo "</strong>"; ?></a></td> + <td class="filename"> + <a style="background-image:url(<?php if($file['type'] == 'dir') echo mimetype_icon('dir'); else echo mimetype_icon($file['mime']); ?>)" href="<?php if($file['type'] == 'dir') echo link_to('files', 'index.php?dir='.$file['directory'].'/'.$file['name']); else echo link_to('files', 'download.php?file='.$file['directory'].'/'.$file['name']); ?>" title=""> + <?php if($file['type'] == 'dir'):?> + <strong><?php echo htmlspecialchars($file['name']);?></strong> + <?php else:?> + <?php echo htmlspecialchars($file['name']);?><span class='extention'><?php echo $file['extention'];?></span> + <?php endif;?> + </a> + </td> <td class="filesize" title="<?php echo human_file_size($file['size']); ?>" style="color:rgb(<?php echo $simple_size_color.','.$simple_size_color.','.$simple_size_color ?>)"><?php echo $simple_file_size; ?></td> <td class="date"><?php echo $file['date']; ?></td> <td class="fileaction"><a href="" title="+" class="dropArrow"></a></td> |