Deprecate `extra_module_url` in frontend#13997

Merged

bramkragten merged 2 commits intonextfrom deprecate-extra_module_url

Jul 14, 2020

+10-8

Commits on Jul 14, 2020

Deprecate extra_module_url

bramkragten
authored and
frenck
committed
Update frontend.markdown
bramkragten
authored