When git-webkit is waiting for user input, the user may have shifted their attention. After 30 seconds, we should ping users to rebind them of their pending script.
<rdar://problem/99397362>
Pull request: https://github.com/WebKit/WebKit/pull/3868
Committed 255634@main (5df181e38c3e): <https://commits.webkit.org/255634@main> Reviewed commits have been landed. Closing PR #3868 and removing active labels.
Reverted by https://github.com/WebKit/WebKit/pull/5451
Re-opening for pull request https://github.com/WebKit/WebKit/pull/5451
Committed 255637@main (8f58e84a7ee6): <https://commits.webkit.org/255637@main> Reviewed commits have been landed. Closing PR #5451 and removing active labels.
Re-opening for pull request https://github.com/WebKit/WebKit/pull/5458
Committed 255650@main (1f96c91d66dc): <https://commits.webkit.org/255650@main> Reviewed commits have been landed. Closing PR #5458 and removing active labels.
Committed 252432.596@safari-7614-branch (0c6f6c747fca): <https://commits.webkit.org/252432.596@safari-7614-branch> Reviewed commits have been landed. Closing PR #145 and removing active labels.