phpcr/phpcr-shell — pull request #119 by dantleech (2014-12-19 08:45:29+00:00)
Title: User config and profiling

- Enable setting expansion for timings
- Enableable timing for query / traversal
- Config is automatically based with dist config