Directory /wp-content/plugins/elementor-pro/modules/element-manager

• ..
• module.php
• options.php