Merge pull request #8375 from Hinsbart/project_extension

Use .godot as file extension for project files.

1 files changed, 3 insertions, 0 deletions

diff --git a/core/global_config.h b/core/global_config.h
index d0f64dc23c..5148c4377e 100644
--- a/core/global_config.h
+++ b/core/global_config.h
@@ -111,6 +111,8 @@ protected:
 
 	void _add_property_info_bind(const Dictionary &p_info);
 
+	String project_file_name;
+
 protected:
 	static void _bind_methods();
 
@@ -124,6 +126,7 @@ public:
 	Variant property_get_revert(const String &p_name);
 
 	String get_resource_path() const;
+	String get_project_file_name() const;
 
 	static GlobalConfig *get_singleton();