]> granicus.if.org Git - php/commitdiff
just a method name change
authorHartmut Holzgraefe <hholzgra@php.net>
Tue, 20 May 2003 13:42:04 +0000 (13:42 +0000)
committerHartmut Holzgraefe <hholzgra@php.net>
Tue, 20 May 2003 13:42:04 +0000 (13:42 +0000)
scripts/ext_skel_ng/php_element.php

index 3f1bd1c6b5e0147b20a7fa81b29a3b7348a83bf2..852e2d8e94b2eb5c51f472e1a629580e8c70b00f 100644 (file)
@@ -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: