Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Make sure that the script is removed only if it's actually in the pag…
…e still. Fixes #4934.
- Loading branch information