diff options
author | Dries Buytaert <dries@buytaert.net> | 2010-10-22 00:44:47 +0000 |
---|---|---|
committer | Dries Buytaert <dries@buytaert.net> | 2010-10-22 00:44:47 +0000 |
commit | 84f06dda86eaf3fa6a210031a5391f9efb72af85 (patch) | |
tree | 528285062472af769dbaa34dcea6175c302cece5 /modules/field_ui | |
parent | f31d0d3a4983af989687661cf14967dac86f27b3 (diff) | |
download | brdo-84f06dda86eaf3fa6a210031a5391f9efb72af85.tar.gz brdo-84f06dda86eaf3fa6a210031a5391f9efb72af85.tar.bz2 |
- Patch #946646 by yched: move helper #element_functions() out of Field UI.
Diffstat (limited to 'modules/field_ui')
-rw-r--r-- | modules/field_ui/field_ui.admin.inc | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/modules/field_ui/field_ui.admin.inc b/modules/field_ui/field_ui.admin.inc index ffa7330f6..27ff1e03a 100644 --- a/modules/field_ui/field_ui.admin.inc +++ b/modules/field_ui/field_ui.admin.inc @@ -1946,33 +1946,3 @@ function field_ui_next_destination($entity_type, $bundle) { $admin_path = _field_ui_bundle_admin_path($entity_type, $bundle); return $admin_path . '/fields'; } - -/** - * Helper form element validator: integer. - */ -function _element_validate_integer($element, &$form_state) { - $value = $element['#value']; - if ($value !== '' && (!is_numeric($value) || intval($value) != $value)) { - form_error($element, t('%name must be an integer.', array('%name' => $element['#title']))); - } -} - -/** - * Helper form element validator: integer > 0. - */ -function _element_validate_integer_positive($element, &$form_state) { - $value = $element['#value']; - if ($value !== '' && (!is_numeric($value) || intval($value) != $value || $value <= 0)) { - form_error($element, t('%name must be a positive integer.', array('%name' => $element['#title']))); - } -} - -/** - * Helper form element validator: number. - */ -function _element_validate_number($element, &$form_state) { - $value = $element['#value']; - if ($value != '' && !is_numeric($value)) { - form_error($element, t('%name must be a number.', array('%name' => $element['#title']))); - } -} |