From: Hannes Magnusson <bjori@10gen.com>
Date: Tue, 17 Jul 2012 09:05:42 +0000 (+0100)
Subject: Merge branch 'PHP-5.3' into PHP-5.4
X-Git-Tag: php-5.4.6RC1~42
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=5cf4f7395b9b61d32c41e8a5cbabd8003cc2bc2b;p=php

Merge branch 'PHP-5.3' into PHP-5.4

* PHP-5.3:
  Do not unload shared extensions when checking for leaks
---

5cf4f7395b9b61d32c41e8a5cbabd8003cc2bc2b