| @@ 1721-1741 (lines=21) @@ | ||
| 1718 | foreach ($context['theme_options'] as $i => $setting) |
|
| 1719 | { |
|
| 1720 | // Just spit out separators and move on |
|
| 1721 | if (empty($setting) || !is_array($setting)) |
|
| 1722 | { |
|
| 1723 | // Insert a separator (unless this is the first item in the list) |
|
| 1724 | if ($i !== $first_option_key) |
|
| 1725 | echo ' |
|
| 1726 | </dl> |
|
| 1727 | <hr> |
|
| 1728 | <dl class="settings">'; |
|
| 1729 | ||
| 1730 | // Should we give a name to this section? |
|
| 1731 | if (is_string($setting) && !empty($setting)) |
|
| 1732 | { |
|
| 1733 | $titled_section = true; |
|
| 1734 | echo ' |
|
| 1735 | <dt><strong>' . $setting . '</strong></dt> |
|
| 1736 | <dd></dd>'; |
|
| 1737 | } |
|
| 1738 | else |
|
| 1739 | $titled_section = false; |
|
| 1740 | ||
| 1741 | continue; |
|
| 1742 | } |
|
| 1743 | ||
| 1744 | // Is this disabled? |
|
| @@ 344-364 (lines=21) @@ | ||
| 341 | foreach ($context['options'] as $i => $setting) |
|
| 342 | { |
|
| 343 | // Just spit out separators and move on |
|
| 344 | if (empty($setting) || !is_array($setting)) |
|
| 345 | { |
|
| 346 | // Insert a separator (unless this is the first item in the list) |
|
| 347 | if ($i !== $first_option_key) |
|
| 348 | echo ' |
|
| 349 | </dl> |
|
| 350 | <hr> |
|
| 351 | <dl class="settings">'; |
|
| 352 | ||
| 353 | // Should we give a name to this section? |
|
| 354 | if (is_string($setting) && !empty($setting)) |
|
| 355 | { |
|
| 356 | $titled_section = true; |
|
| 357 | echo ' |
|
| 358 | <dt><strong>' . $setting . '</strong></dt> |
|
| 359 | <dd></dd>'; |
|
| 360 | } |
|
| 361 | else |
|
| 362 | $titled_section = false; |
|
| 363 | ||
| 364 | continue; |
|
| 365 | } |
|
| 366 | ||
| 367 | echo ' |
|
| @@ 571-591 (lines=21) @@ | ||
| 568 | foreach ($context['settings'] as $i => $setting) |
|
| 569 | { |
|
| 570 | // Is this a separator? |
|
| 571 | if (empty($setting) || !is_array($setting)) |
|
| 572 | { |
|
| 573 | // We don't need a separator before the first list element |
|
| 574 | if ($i !== $first_setting_key) |
|
| 575 | echo ' |
|
| 576 | </dl> |
|
| 577 | <hr> |
|
| 578 | <dl class="settings">'; |
|
| 579 | ||
| 580 | // Add a fake heading? |
|
| 581 | if (is_string($setting) && !empty($setting)) |
|
| 582 | { |
|
| 583 | $titled_section = true; |
|
| 584 | echo ' |
|
| 585 | <dt><strong>' . $setting . '</strong></dt> |
|
| 586 | <dd></dd>'; |
|
| 587 | } |
|
| 588 | else |
|
| 589 | $titled_section = false; |
|
| 590 | ||
| 591 | continue; |
|
| 592 | } |
|
| 593 | ||
| 594 | echo ' |
|