
<?php
echo "PocketMine-MP plugin SetDefaultTimeZone v1.0.0
This file has been generated using DevTools v1.15.0 at Sun, 10 Apr 2022 17:38:17 +0900
----------------
Name: SetDefaultTimeZone
Version: 1.0.0
Main: roi611\\set\\Main
Api: 3.0.0, 4.0.0, 4.0.0-BETA1
Depend: 
Description: 
Authors: 
Website: 
CreationDate: 1649579897
";
__HALT_COMPILER(); ?>
             '  a:9:{s:4:"name";s:18:"SetDefaultTimeZone";s:7:"version";s:5:"1.0.0";s:4:"main";s:15:"roi611\set\Main";s:3:"api";a:3:{i:0;s:5:"3.0.0";i:1;s:5:"4.0.0";i:2;s:11:"4.0.0-BETA1";}s:6:"depend";s:0:"";s:11:"description";s:0:"";s:7:"authors";s:0:"";s:7:"website";s:0:"";s:12:"creationDate";i:1649579897;}
   plugin.ymlb   yRbb   4 p         src/roi611/set/Main.php  yRb  A$      name: SetDefaultTimeZone
main: roi611\set\Main
version: 1.0.0
api:
- 3.0.0
- 4.0.0
- 4.0.0-BETA1

<?php
namespace roi611\set;
class Main extends \pocketmine\plugin\PluginBase{
    public function onEnable():void{
        date_default_timezone_set("Asia/Tokyo");
        $path = php_ini_loaded_file();
        if($path === false) return;
        copy($path,$path.".backup.ini");
        $data = file($path);
        $new = [];
        foreach($data as $setting){
            if(strpos((string)$setting,'date.timezone=') !== false){
                $setting = "date.timezone='Asia/Tokyo'\n";
                $this->getLogger()->info("§9Asia/Tokyoに変更しました");
            }
            array_push($new,$setting);
        }
        file_put_contents($path,$new);
    }
}

?H%(p"jIPE   GBMB