Muqsit Rayyan b8a30309bb Improve checks for Position::equals() and Location::equals() (#929)
* Add files via upload

* Position::$level can be null.

* Use getLevel() in place of $level

because of WeakPosition.
2017-07-04 20:25:25 +01:00
..
2017-06-05 10:15:03 +01:00
2017-06-05 10:15:03 +01:00