Okay, I found a fix!
Here’s the issue in this case. The ability to edit themes within WordPress is a security issue. One of the recommendations is to disable editing of files within WordPress. This information is posted within the WordPress Codex (in “Hardening WordPress”): https://codex.www.ads-software.com/Hardening_WordPress#Disable_File_Editing
“The WordPress Dashboard by default allows administrators to edit PHP files, such as plugin and theme files. This is often the first tool an attacker will use if able to login, since it allows code execution. WordPress has a constant to disable editing from Dashboard. Placing this line in wp-config.php is equivalent to removing the ‘edit_themes’, ‘edit_plugins’ and ‘edit_files’ capabilities of all users…”
When I observed this file (in the plugin): wp125.php
I also observed this line of code:
define("MANAGEMENT_PERMISSION", "edit_themes");
Since file editing from within WordPress is disabled for enhanced security, I edited the permissions to the following:
define("MANAGEMENT_PERMISSION", "edit_users");
After the above edit and upload back to the server, the menu option now appears.