2015-05-29 11:20:55 -05:00
|
|
|
<?php
|
|
|
|
|
function escapeString($var){
|
|
|
|
|
return '"' . addslashes($var) . '"';
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function escapePeer($peer){
|
|
|
|
|
return str_replace(' ', '_', $peer);
|
|
|
|
|
}
|
|
|
|
|
|
2015-06-30 02:05:22 -05:00
|
|
|
function PluginSet($desc){
|
2015-06-30 15:35:29 -05:00
|
|
|
global $plugins,$plugin_name,$TAG;
|
|
|
|
|
$plugins[] .= $TAG.$plugin_name." ".$desc;
|
2015-05-29 11:20:55 -05:00
|
|
|
}
|
