From 63ab24399603a993e90b92912d479771fbefe2fd Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Sun, 5 Oct 2014 08:15:05 -0700
Subject: [PATCH] admin web: call project-defined function admin_index_extra()
 in main page

---
 html/ops/index.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/html/ops/index.php b/html/ops/index.php
index 86097e651a..d813027b58 100644
--- a/html/ops/index.php
+++ b/html/ops/index.php
@@ -79,6 +79,10 @@ if ($uotd_candidates >= 0) {
 
 echo "</ul>\n";
 
+if (function_exists('admin_index_extra')) {
+    admin_index_extra();
+}
+
 echo "
     <p>
     <table border=\"0\"><tr valign=\"top\">