wpsnoop Function wpl_options_menu() conflicts found in 2 plugins

A php function called wpl_options_menu() is used in 2 wordpress plugins/themes and could produce a potential conflict if the wrong combination of themes and plugins is used on your site.

To prevent this from happening developers are encouraged to use namespaces and scopes that isolate their functions from colliding with other functions but this is not always done correctly.

We hope this reference helps you to find PHP Fatal error: Cannot redeclare wpl_options_menu()

The following 2 plugins register a function called wpl_options_menu():

Plugin
WP Permalauts
WP Permalauts Extended