1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/dev/gen_stub.php b/scripts/dev/gen_stub.php
index 80496cc013..48b89da113 100755
--- a/scripts/dev/gen_stub.php
+++ b/scripts/dev/gen_stub.php
@@ -75,6 +75,8 @@ class Type {
             return "IS_OBJECT";
         case "void":
             return "IS_VOID";
+        case "callable":
+            return "IS_CALLABLE";
         default:
             throw new Exception("Not implemented: $this->name");
         }