mirror of
https://github.com/php/web-rmtools.git
synced 2026-03-24 09:12:18 +01:00
18 lines
206 B
PHP
18 lines
206 B
PHP
<?php
|
|
|
|
namespace rmtools;
|
|
|
|
class Pickle
|
|
{
|
|
|
|
protected $pickle_phar = 'c:\apps\bin\pickle.phar';
|
|
|
|
public function __construct($pickle = NULL)
|
|
{
|
|
if ($pickle) {
|
|
$this->pickle_phar = $pickle;
|
|
}
|
|
}
|
|
}
|
|
|