Browse Source

[php] don't generate special class for __init__ of externs into private namespace (closes #8292)

Aleksandr Kuzmenko 6 years ago
parent
commit
fe92d627c1
1 changed files with 1 additions and 1 deletions
  1. 1 1
      src/generators/genphp7.ml

+ 1 - 1
src/generators/genphp7.ml

@@ -940,7 +940,7 @@ class class_wrapper (cls) =
 					| Some body ->
 					| Some body ->
 						let path =
 						let path =
 							match cls.cl_path with
 							match cls.cl_path with
-								| (pack, name) -> (pack @ ["_" ^ name], ("_extern_" ^ name))
+								| (pack, name) -> (pack, ("_extern_" ^ name))
 						in
 						in
 						let additional_cls = {
 						let additional_cls = {
 							cls with
 							cls with