| 1 |
<?php |
<?php |
| 2 |
// $Id: ddblock.module,v 1.1 2008/08/11 05:59:37 ppblaauw Exp $ |
// $Id: ddblock.module,v 1.2 2008/08/31 04:37:11 ppblaauw Exp $ |
| 3 |
|
|
| 4 |
/** |
/** |
| 5 |
* @file |
* @file |
| 1161 |
|
|
| 1162 |
// set pager to number_pager if input type is not images and image pager. |
// set pager to number_pager if input type is not images and image pager. |
| 1163 |
if (($configuration_settings['input_type'] <> 'images') && |
if (($configuration_settings['input_type'] <> 'images') && |
| 1164 |
($configuration_settings['pager'] = 'image-pager')) { |
($configuration_settings['pager'] == 'image-pager')) { |
| 1165 |
$configuration_settings['pager'] = 'number-pager'; |
$configuration_settings['pager'] = 'number-pager'; |
| 1166 |
} |
} |
| 1167 |
|
|