Disables recipe plugin in SplHeap not present -- helps HipHop for PHP, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2013-04-06 17:Apr:th
Author local date 2013-04-06 10:Apr:th -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2013-04-06 17:Apr:th
Committer local date 2013-04-06 10:Apr:th -0700
Commit b34b5f946a5a2f26fc0b89a4c83f05f3b39af01d
Tree 92d899384ce9d2036821296ce3b39e85e9c237ed
Parent 1a107cf2dabb52a841dcd92e27f03208cd40cd81
Disables recipe plugin in SplHeap not present -- helps HipHop for PHP, a=chris
Affected files:
lib/indexing_plugins/recipe_plugin.php
ViewGit