/usr/share/Ice-3.4.2/php/lib/Ice/Plugin.php is in php-zeroc-ice 3.4.2-4ubuntu1.
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 | <?php
// **********************************************************************
//
// Copyright (c) 2003-2011 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.4.2
//
// <auto-generated>
//
// Generated from file `Plugin.ice'
//
// Warning: do not edit this file.
//
// </auto-generated>
//
require_once 'Ice/LoggerF.php';
require_once 'Ice/BuiltinSequences.php';
if(!interface_exists('Ice_Plugin'))
{
interface Ice_Plugin
{
public function initialize();
public function destroy();
}
$Ice__t_Plugin = IcePHP_defineClass('::Ice::Plugin', 'Ice_Plugin', true, $Ice__t_Object, null, null);
}
if(!interface_exists('Ice_PluginManager'))
{
interface Ice_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', true, $Ice__t_Object, null, null);
}
?>
|