String percentEncode(String? url) { if (url == null) { return ""; } else { return Uri.encodeComponent(url); } }