Well it's a native function linked to another plugin.
PHP Code:
public plugin_natives()
{
register_library("jb_simon");
register_native("jb_is_user_simon", "_is_user_simon");
}
public _is_user_simon(iPlugin, iParams)
{
return g_iSimon[get_param(1)];
}
__________________