| 3514 | | <?php endif; // ! did_action( 'admin_head' ) ?> |
| 3515 | | <?php echo $message; ?> |
| | 3514 | <?php endif; // ! did_action( 'admin_head' ) |
| | 3515 | |
| | 3516 | global $upgrading; |
| | 3517 | if( ( time() - $upgrading ) <= 600 ) { |
| | 3518 | __( '« Back' ); |
| | 3519 | ?> |
| | 3520 | <div class="wp-die-message"> |
| | 3521 | <p><?php echo $message; ?></p> |
| | 3522 | <p id="automatic" style="display:none"><?php echo __( 'This page will automatically reload every ten seconds.' ); ?></p> |
| | 3523 | <p id="manual"><?php echo __( 'Please try again in a minute.' ); ?></p> |
| | 3524 | <p id="waiting" style="display:none"><?php echo __( 'Waiting...' ); ?></p> |
| | 3525 | <p id="soon" style="display:none"><?php echo __( 'Will reload soon...' ); ?></p> |
| | 3526 | </div> |
| | 3527 | |
| | 3528 | <script type='text/javascript'> |
| | 3529 | function sleep(ms) { |
| | 3530 | return new Promise(resolve => setTimeout(resolve, ms)); |
| | 3531 | } |
| | 3532 | |
| | 3533 | async function refreshAfterPause() { |
| | 3534 | // Pause to allow the page to fully load. |
| | 3535 | await sleep(100); |
| | 3536 | |
| | 3537 | // Fill the relevant prompts, only if Javascript is enabled. |
| | 3538 | document.getElementById('automatic').style = 'display:block'; |
| | 3539 | document.getElementById('manual').style = 'display:none'; |
| | 3540 | document.getElementById('waiting').style = 'display:block'; |
| | 3541 | |
| | 3542 | await sleep(7000); |
| | 3543 | |
| | 3544 | // Show that the page is about to reload |
| | 3545 | document.getElementById('waiting').style = 'display:none'; |
| | 3546 | document.getElementById('soon').style = 'display:block'; |
| | 3547 | |
| | 3548 | await sleep(3000); |
| | 3549 | window.location.reload(true); |
| | 3550 | } |
| | 3551 | |
| | 3552 | refreshAfterPause(); |
| | 3553 | </script> |
| | 3554 | <?php } else { |
| | 3555 | echo $message; |
| | 3556 | } ?> |