player / server extinfo query library for php