/usr/share/php/Ice/Plugin.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 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 | <?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 `Plugin.ice'
//
// Warning: do not edit this file.
//
// </auto-generated>
//
namespace
{
require_once 'Ice/LoggerF.php';
require_once 'Ice/BuiltinSequences.php';
}
namespace Ice
{
global $Ice__t_Plugin;
interface Plugin
{
public function initialize();
public function destroy();
}
$Ice__t_Plugin = IcePHP_defineClass('::Ice::Plugin', '\\Ice\\Plugin', -1, false, true, $Ice__t_Value, null);
}
namespace Ice
{
global $Ice__t_PluginManager;
interface PluginManager
{
public function initializePlugins();
public function getPlugins();
public function getPlugin($name);
public function addPlugin($name, $pi);
public function destroy();
}
$Ice__t_PluginManager = IcePHP_defineClass('::Ice::PluginManager', '\\Ice\\PluginManager', -1, false, true, $Ice__t_Value, null);
}
?>
|