@@ -110,7 +110,7 @@ function _header_nav_html($nav)
110110 $ class = $ item ['class ' ] ?? '' ;
111111 if (!empty ($ class )) $ class = ' ' . $ class ;
112112
113- if (isset ($ item ['recent_documents ' ]) && $ item ['recent_documents ' ] && isset (Common:: $ database ) )
113+ if (isset ($ item ['recent_documents ' ]) && $ item ['recent_documents ' ])
114114 {
115115 _line ('<div class="dropdown-divider"></div> ' );
116116 _line ('<div class="dropdown-header">Recently Edited Documents</div> ' );
@@ -123,7 +123,7 @@ function _header_nav_html($nav)
123123 _line ('<a class="dropdown-item%s" href="%s">%s</a> ' , $ doc_class , $ doc ->getURI (), filter_var ($ doc ->getTitle (), FILTER_SANITIZE_FULL_SPECIAL_CHARS ));
124124 }
125125 }
126- else if (isset ($ item ['recent_news ' ]) && $ item ['recent_news ' ] && isset (Common:: $ database ) )
126+ else if (isset ($ item ['recent_news ' ]) && $ item ['recent_news ' ])
127127 {
128128 _line ('<div class="dropdown-divider"></div> ' );
129129 _line ('<div class="dropdown-header">Recent News</div> ' );
@@ -136,7 +136,7 @@ function _header_nav_html($nav)
136136 _line ('<a class="dropdown-item%s" href="%s">%s</a> ' , $ news_class , $ news ->getURI (), filter_var ($ news ->getTitle (), FILTER_SANITIZE_FULL_SPECIAL_CHARS ));
137137 }
138138 }
139- else if (isset ($ item ['recent_packets ' ]) && $ item ['recent_packets ' ] && isset (Common:: $ database ) )
139+ else if (isset ($ item ['recent_packets ' ]) && $ item ['recent_packets ' ])
140140 {
141141 _line ('<div class="dropdown-divider"></div> ' );
142142 _line ('<div class="dropdown-header">Recently Edited Packets</div> ' );
0 commit comments