PHP isInitialized示例

示例#1

文件： addCommandCallback.php 项目： GoneTone/web-server-source

<?php

use pg\classes\Command;
include_once "pgFx.php";
if (!isInitialized()) {
    header("Location: pg.php");
    return;
}
if (!isset($_POST["name"], $_POST["desc"], $_POST["usage"])) {
    header("Location: addCommand.php");
    return;
}
if (!Command::isValidName($name = trim($_POST["name"]))) {
    header("Location: addCommand.php?notice=" . urlencode("Command names must not include spaces or colons!"));
    return;
}
$cmd = new Command(getPlugin(), $name, $_POST["desc"], $_POST["usage"]);
getPlugin()->cmds[$name] = $cmd;
header("Location: editCommand.php?name=" . urlencode($cmd->name));

示例#2

文件： index.php 项目： GoneTone/web-server-source

<?php

include_once "pgFx.php";
if (isInitialized()) {
    include "main.php";
} else {
    include "pg.php";
}