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/HTMLFloatField.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'includes/htmlform/HTMLFloatField.php') diff --git a/includes/htmlform/HTMLFloatField.php b/includes/htmlform/HTMLFloatField.php index 3b38fbe8..2ef49789 100644 --- a/includes/htmlform/HTMLFloatField.php +++ b/includes/htmlform/HTMLFloatField.php @@ -17,7 +17,7 @@ class HTMLFloatField extends HTMLTextField { $value = trim( $value ); - # http://dev.w3.org/html5/spec/common-microsyntaxes.html#real-numbers + # http://www.w3.org/TR/html5/infrastructure.html#floating-point-numbers # with the addition that a leading '+' sign is ok. if ( !preg_match( '/^((\+|\-)?\d+(\.\d+)?(E(\+|\-)?\d+)?)?$/i', $value ) ) { return $this->msg( 'htmlform-float-invalid' )->parseAsBlock(); -- cgit v1.2.3-54-g00ecf