Steal "MediaWiki default" system user
This should not be required at all, as this user is listed in
$wgReserverdUsernames.
ERM33215
[4.3.x]
Change-Id: Ic8ab35cfbf0b5d0cabf2146af6d8cdd257541a2c
Description
Description
Details
Details
- Provenance
Osnard Authored on Jul 13 2023, 1:08 PM ItSpiderman Committed on Jul 17 2023, 8:08 AM - Parents
- rEWRK45bcfb484876: Fix default system user name
- Branches
- Unknown
- Tags
- References
- refs/changes/68/938668/1
- ChangeId
- Ic8ab35cfbf0b5d0cabf2146af6d8cdd257541a2c