Use int, not integer.

diff --git a/main/output.c b/main/output.c
index 7577bb6aad3ca9a6c3ed499f995c42bd4404b94b..8d9e34addc7c0a2e369b08e3cd43c9f85ade6d42 100644 (file)
--- a/main/output.c
+++ b/main/output.c
@@ -811,7 +811,7 @@ PHP_FUNCTION(ob_get_contents)
 }
 /* }}} */
 
-/* {{{ proto integer ob_get_level(void)
+/* {{{ proto int ob_get_level(void)
    Return the nesting level of the output buffer */
 PHP_FUNCTION(ob_get_level)
 {