[Plugin: Admin Menu Editor] PATCH: is_site_admin() deprecated

Symptom: Menu editor doesn’t appear in Settings menu.

diff menu-editor-core.php.orig menu-editor-core.php
119,120c119,120
< error_log(‘is_site_admin: ‘. is_site_admin());
< if ( !$this->is_mu_plugin || ( function_exists(‘is_site_admin’) && is_site_admin() ) ){
—
> error_log(‘is_super_admin: ‘. is_super_admin());
> if ( !$this->is_mu_plugin || ( function_exists(‘is_super_admin’) && is_super_admin() ) ){

http://codex.ww.wp.xz.cn/WPMU_Functions/is_site_admin

http://ww.wp.xz.cn/extend/plugins/admin-menu-editor/