| @@ 358-378 (lines=21) @@ | ||
| 355 | foreach ($context['options'] as $i => $setting) |
|
| 356 | { |
|
| 357 | // Just spit out separators and move on |
|
| 358 | if (empty($setting) || !is_array($setting)) |
|
| 359 | { |
|
| 360 | // Insert a separator (unless this is the first item in the list) |
|
| 361 | if ($i !== $first_option_key) |
|
| 362 | echo ' |
|
| 363 | </dl> |
|
| 364 | <hr> |
|
| 365 | <dl class="settings">'; |
|
| 366 | ||
| 367 | // Should we give a name to this section? |
|
| 368 | if (is_string($setting) && !empty($setting)) |
|
| 369 | { |
|
| 370 | $titled_section = true; |
|
| 371 | echo ' |
|
| 372 | <dt><strong>' . $setting . '</strong></dt> |
|
| 373 | <dd></dd>'; |
|
| 374 | } |
|
| 375 | else |
|
| 376 | $titled_section = false; |
|
| 377 | ||
| 378 | continue; |
|
| 379 | } |
|
| 380 | ||
| 381 | echo ' |
|
| @@ 598-618 (lines=21) @@ | ||
| 595 | foreach ($context['settings'] as $i => $setting) |
|
| 596 | { |
|
| 597 | // Is this a separator? |
|
| 598 | if (empty($setting) || !is_array($setting)) |
|
| 599 | { |
|
| 600 | // We don't need a separator before the first list element |
|
| 601 | if ($i !== $first_setting_key) |
|
| 602 | echo ' |
|
| 603 | </dl> |
|
| 604 | <hr> |
|
| 605 | <dl class="settings">'; |
|
| 606 | ||
| 607 | // Add a fake heading? |
|
| 608 | if (is_string($setting) && !empty($setting)) |
|
| 609 | { |
|
| 610 | $titled_section = true; |
|
| 611 | echo ' |
|
| 612 | <dt><strong>' . $setting . '</strong></dt> |
|
| 613 | <dd></dd>'; |
|
| 614 | } |
|
| 615 | else |
|
| 616 | $titled_section = false; |
|
| 617 | ||
| 618 | continue; |
|
| 619 | } |
|
| 620 | ||
| 621 | echo ' |
|
| @@ 1694-1714 (lines=21) @@ | ||
| 1691 | foreach ($context['theme_options'] as $i => $setting) |
|
| 1692 | { |
|
| 1693 | // Just spit out separators and move on |
|
| 1694 | if (empty($setting) || !is_array($setting)) |
|
| 1695 | { |
|
| 1696 | // Insert a separator (unless this is the first item in the list) |
|
| 1697 | if ($i !== $first_option_key) |
|
| 1698 | echo ' |
|
| 1699 | </dl> |
|
| 1700 | <hr> |
|
| 1701 | <dl class="settings">'; |
|
| 1702 | ||
| 1703 | // Should we give a name to this section? |
|
| 1704 | if (is_string($setting) && !empty($setting)) |
|
| 1705 | { |
|
| 1706 | $titled_section = true; |
|
| 1707 | echo ' |
|
| 1708 | <dt><strong>' . $setting . '</strong></dt> |
|
| 1709 | <dd></dd>'; |
|
| 1710 | } |
|
| 1711 | else |
|
| 1712 | $titled_section = false; |
|
| 1713 | ||
| 1714 | continue; |
|
| 1715 | } |
|
| 1716 | ||
| 1717 | // Is this disabled? |
|