[General] Fixes for PHP7

Review Request #526 — Created Aug. 7, 2017 and submitted — Latest diff uploaded

smillernl
Lunr
master
525
b4d90fc...
lunr
General: Fixes for PHP7


Loading...