Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  1a454238463f8986021c51131d1dd47da468379b

Maintenance script for token resets

Add a similar script to core's resetUserTokens.php that resets
CentralAuthUser tokens.

Change-Id: I68fd0eab762222be315b70115fc36867cd005463