Update to MediaWiki 1.25.1

1 files changed, 2 insertions, 3 deletions

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();
 		}