Follow-up r91895: Call parent destructor as well, just to be safe.

diff --git a/tests/phpunit/includes/UserTest.php b/tests/phpunit/includes/UserTest.php
index 53ef24d..df91aca 100644 (file)
--- a/tests/phpunit/includes/UserTest.php
+++ b/tests/phpunit/includes/UserTest.php
@@ -29,6 +29,8 @@ class UserTest extends MediaWikiTestCase {
                );
        }
        public function tearDown() {
+               parent::tearDown();
+               
                $GLOBALS['wgGroupPermissions'] = $this->savedGroupPermissions;
                $GLOBALS['wgRevokePermissions'] = $this->savedRevokedPermissions;
        }