diff options
| -rw-r--r-- | scripts/ext_skel_ng/php_element.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/ext_skel_ng/php_element.php b/scripts/ext_skel_ng/php_element.php index 3f1bd1c6b5..852e2d8e94 100644 --- a/scripts/ext_skel_ng/php_element.php +++ b/scripts/ext_skel_ng/php_element.php @@ -1,7 +1,6 @@ <?php class php_element { - function is_type($name) { $types = array("void" => "void", "bool" => "bool", @@ -48,7 +47,7 @@ class php_element { return ""; } - function docbook_editor_footer($level=3) { + function docbook_editor_settings($level=3) { return ' <!-- Keep this comment at the end of the file Local'.' variables: |