/usr/share/Ice-3.5.1/php/lib/Ice/Properties.php is in php-zeroc-ice 3.5.1-6+b3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | <?php
// **********************************************************************
//
// Copyright (c) 2003-2013 ZeroC, Inc. All rights reserved.
//
// This copy of Ice is licensed to you under the terms described in the
// ICE_LICENSE file included in this distribution.
//
// **********************************************************************
//
// Ice version 3.5.1
//
// <auto-generated>
//
// Generated from file `Properties.ice'
//
// Warning: do not edit this file.
//
// </auto-generated>
//
require_once 'Ice/PropertiesAdmin.php';
if(!interface_exists('Ice_Properties'))
{
interface Ice_Properties
{
public function getProperty($key);
public function getPropertyWithDefault($key, $value);
public function getPropertyAsInt($key);
public function getPropertyAsIntWithDefault($key, $value);
public function getPropertyAsList($key);
public function getPropertyAsListWithDefault($key, $value);
public function getPropertiesForPrefix($prefix);
public function setProperty($key, $value);
public function getCommandLineOptions();
public function parseCommandLineOptions($prefix, $options);
public function parseIceCommandLineOptions($options);
public function load($file);
public function _clone();
}
$Ice__t_Properties = IcePHP_defineClass('::Ice::Properties', 'Ice_Properties', -1, true, false, $Ice__t_Object, null, null);
}
?>
|