Fix issue with crawlform staying open wen editing crawl options, a=chhris

Author Chris Pollett <chris@pollett.org>
Author date 2020-08-09 23:Aug:th
Author local date 2020-08-09 16:Aug:th -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2020-08-09 23:Aug:th
Committer local date 2020-08-09 16:Aug:th -0700
Commit e83bab1aa7e0495c77912c4438daee3c052dd362
Tree 03415286188b720bedba8986825d2956aa3c9d26
Parent f280cfc7dbc1b5be126134d3aa34f6777e700594
Fix issue with crawlform staying open wen editing crawl options, a=chhris
Affected files:
src/library/UpgradeFunctions.php
src/views/elements/CrawloptionsElement.php
ViewGit