| @@ 354-374 (lines=21) @@ | ||
| 351 | foreach ($context['options'] as $i => $setting) |
|
| 352 | { |
|
| 353 | // Just spit out separators and move on |
|
| 354 | if (empty($setting) || !is_array($setting)) |
|
| 355 | { |
|
| 356 | // Insert a separator (unless this is the first item in the list) |
|
| 357 | if ($i !== $first_option_key) |
|
| 358 | echo ' |
|
| 359 | </dl> |
|
| 360 | <hr> |
|
| 361 | <dl class="settings">'; |
|
| 362 | ||
| 363 | // Should we give a name to this section? |
|
| 364 | if (is_string($setting) && !empty($setting)) |
|
| 365 | { |
|
| 366 | $titled_section = true; |
|
| 367 | echo ' |
|
| 368 | <dt><strong>' . $setting . '</strong></dt> |
|
| 369 | <dd></dd>'; |
|
| 370 | } |
|
| 371 | else |
|
| 372 | $titled_section = false; |
|
| 373 | ||
| 374 | continue; |
|
| 375 | } |
|
| 376 | ||
| 377 | echo ' |
|
| @@ 587-607 (lines=21) @@ | ||
| 584 | foreach ($context['settings'] as $i => $setting) |
|
| 585 | { |
|
| 586 | // Is this a separator? |
|
| 587 | if (empty($setting) || !is_array($setting)) |
|
| 588 | { |
|
| 589 | // We don't need a separator before the first list element |
|
| 590 | if ($i !== $first_setting_key) |
|
| 591 | echo ' |
|
| 592 | </dl> |
|
| 593 | <hr> |
|
| 594 | <dl class="settings">'; |
|
| 595 | ||
| 596 | // Add a fake heading? |
|
| 597 | if (is_string($setting) && !empty($setting)) |
|
| 598 | { |
|
| 599 | $titled_section = true; |
|
| 600 | echo ' |
|
| 601 | <dt><strong>' . $setting . '</strong></dt> |
|
| 602 | <dd></dd>'; |
|
| 603 | } |
|
| 604 | else |
|
| 605 | $titled_section = false; |
|
| 606 | ||
| 607 | continue; |
|
| 608 | } |
|
| 609 | ||
| 610 | echo ' |
|
| @@ 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? |
|