This repository has been archived by the owner. It is now read-only.
Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Player.php messed up #4239
Player.php is seriously messed up. The
Steps to reproduce the issue
OS and versions
Crashdump, backtrace or other files