PHPマニュアル/PEARマニュアル | ユーザフォーラムで議論/質問 | マニュアル検索 | ハイライト | ハイライトオフ | ポータル | php spot

PEAR_PackageFileManager::addReplacement | JavaScript入門&応用&リファレンスなら「JavaScriptist」

  

PEAR_PackageFileManager::addReplacement

PEAR_PackageFileManager::addReplacement() – 特定のファイルに対して置換オプションを追加する

Synopsis

require_once 'PEAR/PackageFileManager.php';

void PEAR_PackageFileManager::addReplacement ( string $path , string $type , string $from , string $to )

Description

インストール時に実行される複雑な置換関数を設定します。これは、 インストールするファイルに対してプラットフォーム固有の値を 設定するために使用することができます。

$type が php-const の場合は、$to には PHP の定数名を指定しなければ なりません。$type が pear-config の場合は、$to には PEAR_Config::get() メソッドでアクセス可能な PEAR 設定変数を 指定しなければなりません。 $type が package-info の場合は、$to には package.xml の セクション名を指定する必要があります。

Parameter

string $path

ファイルへの相対パス (packagedirectory オプションの値を起点とする)。

string $type

変数の形式。php-const、pear-config あるいは package-info のいずれかです。

string $from

ソースファイル内の置換対象テキスト。

string $to

置換に使用する変数名。

Throws

PEAR_PACKAGEFILEMANAGER_INVALID_REPLACETYPE をスローします。

Note

This function can not be called statically.

忘却曲線を使ってこの知識を確実に記憶に残す

フォーラムで「PEAR_PackageFileManager::addReplacement」について話す
各種マニュアル: PHPマニュアル | PEARマニュアル | Smarty(英語)マニュアル | PHP-GTKマニュアル | PEAR_PackageFileManager::addReplacement」をGoogle検索
copyright © 1997-2024 PHP ドキュメント作成グループ(ライセンス). provided by php spot. マニュアル: