Closed geographika closed 8 months ago
The Service Providers page is currently broken (in terms of layout and random ordering) as JQuery no longer seems to be present in the deployed docs at https://mapserver.org/community/service_providers.html#service-providers
Uncaught ReferenceError: $ is not defined
This pull request adds back JQuery using the Sphinx plugin https://pypi.org/project/sphinxcontrib-jquery/ which fixes the issue.
The Service Providers page is currently broken (in terms of layout and random ordering) as JQuery no longer seems to be present in the deployed docs at https://mapserver.org/community/service_providers.html#service-providers
Uncaught ReferenceError: $ is not definedThis pull request adds back JQuery using the Sphinx plugin https://pypi.org/project/sphinxcontrib-jquery/ which fixes the issue.