https://github.com/php/web-doc - where can I find shared/templates?

Hello, I trying to contribute to https://github.com/php/web-doc, but I got some errors about missing folders: [Wed Jul 16 08:58:12 2014] PHP Warning: require(/my/path/to/web-doc/include/../shared/templates/header.inc): failed to open stream: No such file or directory in /my/path/to/web-doc/include/lib_general.inc.php on line 41 [Wed Jul 16 08:58:12 2014] PHP Stack trace: [Wed Jul 16 08:58:12 2014] PHP 1. {main}() /my/path/to/web-doc/www/index.php:0 [Wed Jul 16 08:58:12 2014] PHP 2. site_header() /my/path/to/web-doc/www/index.php:4 [Wed Jul 16 08:58:12 2014] PHP Fatal error: require(): Failed opening required '/my/path/to/web-doc/include/../shared/templates/header.inc' (include_path='.:/my/path/to/pear:/my/path/to/php:/my/path/to/php') in /my/path/to/web-doc/include/lib_general.inc.php on line 41 [Wed Jul 16 08:58:12 2014] PHP Stack trace: [Wed Jul 16 08:58:12 2014] PHP 1. {main}() /my/path/to/web-doc/www/index.php:0 [Wed Jul 16 08:58:12 2014] PHP 2. site_header() /my/path/to/web-doc/www/index.php:4 [Wed Jul 16 08:58:12 2014] ::1:54294 [200]: / - require(): Failed opening required '/my/path/to/web-doc/include/../shared/templates/header.inc' (include_path='.:/my/path/to/pear:/my/path/to/php:/my/path/to/php') in /my/path/to/web-doc/include/lib_general.inc.php on line 41