diff options
Diffstat (limited to 'resources/src/mediawiki.widgets.datetime/DateTimeFormatter.js')
| -rw-r--r-- | resources/src/mediawiki.widgets.datetime/DateTimeFormatter.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/resources/src/mediawiki.widgets.datetime/DateTimeFormatter.js b/resources/src/mediawiki.widgets.datetime/DateTimeFormatter.js index 13fc2c1c387e..dd32316113fe 100644 --- a/resources/src/mediawiki.widgets.datetime/DateTimeFormatter.js +++ b/resources/src/mediawiki.widgets.datetime/DateTimeFormatter.js @@ -409,9 +409,9 @@ } } - // eslint-disable-next-line no-restricted-properties + // eslint-disable-next-line es-x/no-string-prototype-normalize if ( v.normalize ) { - // eslint-disable-next-line no-restricted-properties + // eslint-disable-next-line es-x/no-string-prototype-normalize v = v.normalize(); } re = new RegExp( '^\\s*' + mw.util.escapeRegExp( v ), 'i' ); |