PHP backward-compatibility fix with get_option()[option]