Add num docs sanity value to IndexManager 2, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2015-12-11 00:Dec:th
Author local date 2015-12-10 16:Dec:th -0800
Committer Chris Pollett <chris@pollett.org>
Committer date 2015-12-11 00:Dec:th
Committer local date 2015-12-10 16:Dec:th -0800
Commit 88bcc6985bf44a9e84c8f5642e873dff243294cb
Tree 7411fe0298e0060263104864ef621d7c753715bc
Parent d3bb3a77cb20e1641a4b045fb9c90c3e9f480ffd
Add num docs sanity value to IndexManager 2, a=chris
Affected files:
src/library/IndexManager.php
ViewGit