debugging_ctrl != 'none'; } ?>