There is an mini-script in MediaWiki-Vagrant (set_user_email.erb) that could be replaced by this. Change-Id: Ieb0da6cc358506174f1ff01116d0b286f814b2c7
Change-Id: Ib1eb8e3adc8deed0d09c1f655218144b2305d137
Current way to do it, via eval.php, is slightly scary. Change-Id: I2b875326a0eb1e6d1f4bc758b8ac97b8f9324c4e