diff --git a/scripts/docgen/book.developer.tpl b/scripts/docgen/book.developer.tpl deleted file mode 100644 index 820ce678a..000000000 --- a/scripts/docgen/book.developer.tpl +++ /dev/null @@ -1,72 +0,0 @@ - - - - - - -%xhtml-lat1; -%xhtml-symbol; -%xhtml-special; -%isopub; - - - - - - -%language-defs.default; -%extensions.default; -%language-snippets.default; - - - - - - - - - -%global.entities; -%file.entities; -%frontpage.entities; -]> - - - {EXT_NAME} - {EXT_NAME} - - - &reftitle.intro; - - - - - - &reference.{EXT_NAME_ID}.setup; - &reference.{EXT_NAME_ID}.constants; - &reference.{EXT_NAME_ID}.examples; - &reference.{EXT_NAME_ID}.reference; - - - diff --git a/scripts/docgen/docgen.php b/scripts/docgen/docgen.php index d19a1d1de..59098acaa 100644 --- a/scripts/docgen/docgen.php +++ b/scripts/docgen/docgen.php @@ -42,7 +42,6 @@ /* Default files for extensions */ $DOC_EXT = array( 'book.xml' => 'book.tpl', - 'book.developer.xml' => 'book.developer.tpl', 'setup.xml' => 'setup.tpl', 'constants.xml' => 'constants.tpl', 'configure.xml' => 'configure.tpl', @@ -813,13 +812,6 @@ function gen_extension_markup(ReflectionExtension $obj, $content, $xml_file) { / } $content = preg_replace('/\{VERSIONS\}/', rtrim($markup), $content); break; - - case 'book.developer.xml': - if ($OPTION['docbase'] && $OPTION['phpdoc']) { - $content = preg_replace('/\{PATH_TO_DOCBASE\}/', $OPTION['docbase'], $content); - $content = preg_replace('/\{PATH_TO_DOC\}/', $OPTION['phpdoc'], $content); - } - break; } return $content;