bash_ios_editor_plugin_platform_interface library