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