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