2020-08-25 23:47:49 +08:00
|
|
|
<?php global $restartWarning; ?>
|
2014-12-05 07:44:23 +08:00
|
|
|
var restartWarning = <?php echo empty($restartWarning)?'false':'true' ?>;
|
2017-05-19 01:50:56 +08:00
|
|
|
if ( restartWarning ) {
|
|
|
|
|
alert( "<?php echo translate('OptionRestartWarning') ?>" );
|
2008-09-29 16:55:25 +08:00
|
|
|
}
|
