Patch for 3592: unnecessary instantiation of User
authorTom Gilder <tomgilder@users.mediawiki.org>
Thu, 6 Oct 2005 23:16:28 +0000 (23:16 +0000)
committerTom Gilder <tomgilder@users.mediawiki.org>
Thu, 6 Oct 2005 23:16:28 +0000 (23:16 +0000)
commitc5b8bab5b495e24df42f55cdecb07c0395b4f9fa
tree7df45fc96bd7e9cfb3a08e4ece98f8c431263553
parentb3e4453b1f4116fa16ded7c63eda9673a2333390
Patch for 3592: unnecessary instantiation of User
includes/User.php