mediawiki-extensions-Replac.../maintenance
Umherirrender e9653454e9 replaceAll.php: Replace get_class with instanceof
The User class was namespaced in 1d0b7ae1,
checking class names as string is broken, use instanceof.
There are no subclasses of User class to ignore at this point.

Also use User::getName instead of implicit User::__toString

Change-Id: I8b9f73609a7ef9f781c8a5ae27e00d612d33ee4f
(cherry picked from commit a14f9f6b5b)
2024-08-01 14:26:27 +00:00
..
replaceAll.php replaceAll.php: Replace get_class with instanceof 2024-08-01 14:26:27 +00:00