Мне нужно выполнить HTTP GET из PHP.
Более конкретно, из /index.php мне нужно получить содержимое / trac / и / svn /, найти элемент "ul" и затем сделать рендеринг, а затем встроить его в index.php.
/ trac и / svn являются относительными URL-адресами, а не папками файловой системы.
http://myserver/trac и http://myserver/svn