From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/htmlform/HTMLIntField.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'includes/htmlform/HTMLIntField.php') diff --git a/includes/htmlform/HTMLIntField.php b/includes/htmlform/HTMLIntField.php index 28876e2c..b0148d98 100644 --- a/includes/htmlform/HTMLIntField.php +++ b/includes/htmlform/HTMLIntField.php @@ -11,14 +11,13 @@ class HTMLIntField extends HTMLFloatField { return $p; } - # http://dev.w3.org/html5/spec/common-microsyntaxes.html#signed-integers + # http://www.w3.org/TR/html5/infrastructure.html#signed-integers # with the addition that a leading '+' sign is ok. Note that leading zeros # are fine, and will be left in the input, which is useful for things like # phone numbers when you know that they are integers (the HTML5 type=tel # input does not require its value to be numeric). If you want a tidier # value to, eg, save in the DB, clean it up with intval(). - if ( !preg_match( '/^((\+|\-)?\d+)?$/', trim( $value ) ) - ) { + if ( !preg_match( '/^((\+|\-)?\d+)?$/', trim( $value ) ) ) { return $this->msg( 'htmlform-int-invalid' )->parseAsBlock(); } -- cgit v1.2.3-54-g00ecf