This could of course be solved for the php documentation by using their secure domain, https://secure.php.net. But I’m quite sure there are other bundles that open external sources over http as well.