renaming variables in class "frame_inferiorl.php"