mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-04-13 20:32:11 +02:00
Code Issues Releases Wiki Activity

[ticket/11603] Fix github api url and use curl with valid user agent

Browse Source 
PHPBB3-11603
This commit is contained in:
Joas Schilling 2013-06-11 14:53:03 +02:00
parent 30801e1f0a
commit e633ace072
2 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
git-tools/merge.php
View File

@ -124,7 +124,12 @@ function get_repository_url($username, $repository, $ssh = false)
function api_request($query)
{
$contents = file_get_contents("http://github.com/api/v2/json/$query");
$c = curl_init();
curl_setopt($c, CURLOPT_URL, "https://api.github.com/$query");
curl_setopt($c, CURLOPT_RETURNTRANSFER, true);
curl_setopt($c, CURLOPT_USERAGENT, 'phpBB/1.0');
$contents = curl_exec($c);
curl_close($c);
if ($contents === false)
{

8
git-tools/setup_github_network.php
View File

@ -145,7 +145,13 @@ function get_repository_url($username, $repository, $ssh = false)
function api_request($query)
{
$contents = file_get_contents("http://github.com/api/v2/json/$query");
$c = curl_init();
curl_setopt($c, CURLOPT_URL, "https://api.github.com/$query");
curl_setopt($c, CURLOPT_RETURNTRANSFER, true);
curl_setopt($c, CURLOPT_USERAGENT, 'phpBB/1.0');
$contents = curl_exec($c);
curl_close($c);
if ($contents === false)
{
return false;