| 1 |
<?php |
<?php |
| 2 |
// $Id: jquery_media.settings.inc,v 1.5.2.3 2008/07/03 14:33:28 aaron Exp $ |
// $Id: jquery_media.settings.inc,v 1.5.2.4 2008/07/03 14:36:23 aaron Exp $ |
| 3 |
|
|
| 4 |
/** |
/** |
| 5 |
* @file |
* @file |
| 82 |
'#type' => 'textarea', |
'#type' => 'textarea', |
| 83 |
'#title' => t('Pages'), |
'#title' => t('Pages'), |
| 84 |
'#default_value' => variable_get('jquery_media_pages', ''), |
'#default_value' => variable_get('jquery_media_pages', ''), |
| 85 |
'#description' => t('Automatically invoke jQuery Media on these pages. You may use * for a wildcard, such as %blog or %wild. Use %front for the front page.', array('%blog' => 'blog', '%wild' => 'blog/*', '%front' => '<front>')), |
'#description' => t('Automatically invoke jQuery Media on these pages. You may use * for a wildcard, such as %blog or %wild. Use %front for the front page. Enter one page per line.', array('%blog' => 'blog', '%wild' => 'blog/*', '%front' => '<front>')), |
| 86 |
); |
); |
| 87 |
$form['classes'] = array( |
$form['classes'] = array( |
| 88 |
'#type' => 'fieldset', |
'#type' => 'fieldset', |