| 1 |
<?php |
<?php |
| 2 |
// $Id: common.inc,v 1.1040 2009/11/03 06:47:22 webchick Exp $ |
// $Id: common.inc,v 1.1041 2009/11/05 16:19:25 webchick Exp $ |
| 3 |
|
|
| 4 |
/** |
/** |
| 5 |
* @file |
* @file |
| 4963 |
if (isset($elements['#theme'])) { |
if (isset($elements['#theme'])) { |
| 4964 |
$elements['#children'] = theme($elements['#theme'], $elements); |
$elements['#children'] = theme($elements['#theme'], $elements); |
| 4965 |
} |
} |
| 4966 |
// If #theme was not set and the element has children, render them now |
// If #theme was not set and the element has children, render them now. |
| 4967 |
// using drupal_render_children(). |
// This is the same process as drupal_render_children() but is inlined |
| 4968 |
|
// for speed. |
| 4969 |
if ($elements['#children'] == '') { |
if ($elements['#children'] == '') { |
| 4970 |
$elements['#children'] = drupal_render_children($elements, $children); |
foreach ($children as $key) { |
| 4971 |
|
$elements['#children'] .= drupal_render($elements[$key]); |
| 4972 |
|
} |
| 4973 |
} |
} |
| 4974 |
|
|
| 4975 |
// Let the theme functions in #theme_wrappers add markup around the rendered |
// Let the theme functions in #theme_wrappers add markup around the rendered |