PHP get_flag_namesの例

コード例 #1

ファイル: schema.php プロジェクト: badlamer/hhvm

function idx_flags($arr, $name, $global_function)
{
    return get_flag_names($arr, $name, $global_function);
}

コード例 #2

ファイル: schema.php プロジェクト: robrepp/hiphop-php

function idx_flags($arr, $name)
{
    return get_flag_names($arr, $name);
}