/usr/share/php/Ice/Properties.php is in php-zeroc-ice 3.7.0-5.
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 | <?php
// **********************************************************************
//
// Copyright (c) 2003-2017 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.7.0
//
// <auto-generated>
//
// Generated from file `Properties.ice'
//
// Warning: do not edit this file.
//
// </auto-generated>
//
namespace
{
require_once 'Ice/PropertiesAdmin.php';
}
namespace Ice
{
global $Ice__t_Properties;
if(!isset($Ice__t_Properties))
{
$Ice__t_Properties = IcePHP_declareClass('::Ice::Properties');
}
}
?>
|