patch for php 7.1

Since it looks like this useful plugin is abandoned I wrote myself a patch.
Favorites were not working anymore on php 7.1

file: plugins\admin-menus-accessibility\include\class.am_accessibility_main.php
lines: 102 and folowing
alterations marked with my tag ‘isz’:

        $ama_get_fav = get_user_meta(get_current_user_id(),"ama_fav",true);
		if ( ! is_array($ama_get_fav)) { // isz
            $ama_get_fav = [];  // isz
		} // isz

        if( ! empty($remove) /* <isz */ and isset($ama_get_fav[$href]) /* isz> */) {

Sorry, posting it here is a bit crude and rude but is the best I can do now.

• This topic was modified 5 years, 8 months ago by Cyberchicken.