Add num docs sanity value to IndexManager, 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 d3bb3a77cb20e1641a4b045fb9c90c3e9f480ffd
Tree 8ff9fbcc0d5774d1191aa26d6e08caf294f3ce19
Parent 0684e9c9c61f416127647c9f1ea3fc2576baee25
Add num docs sanity value to IndexManager, a=chris
Affected files:
src/library/IndexManager.php
ViewGit