diff --git a/html/ops/index.php b/html/ops/index.php index 00877c4438..cd829709b2 100644 --- a/html/ops/index.php +++ b/html/ops/index.php @@ -13,6 +13,25 @@ db_init(); $title = "Project Management"; admin_page_head($title); +// Notification area +echo "\n"; + echo "

Browse database: