Re: [Mediawiki-l] bug in user.php - function matchEditToken ?