Hello,
Thank you for your correction => https://www.mediawiki.org/w/index.php?title=Extension:AdvancedSearch&diff=3514800&oldid=3495859&diffmode=source Can you please leave a comment on https://phabricator.wikimedia.org/T237288 for them to close the task ?
... and have a look to https://www.mediawiki.org/wiki/Topic:Vbl1f0pa0wjwlo00 where the problem is similar but for file 'config'
Thanks you.
Christian FR (talk) 14:55, 22 November 2019 (UTC)