- Timestamp:
- Jan 15, 2013, 1:31:14 PM (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extensions/header_manager/include/header_manager.inc.php
r18710 r20169 50 50 if ( empty($conf['header_manager']['image']) or $conf['header_manager']['image'] == 'random') 51 51 { 52 $banners = list_banners();52 $banners = array_values(list_banners()); 53 53 if (!count($banners)) return $page_banner; 54 54 $banner = $banners[ mt_rand(0, count($banners)-1) ];
Note: See TracChangeset
for help on using the changeset viewer.