From d2d6c433e68f2ea14442be6183392cd82e32f3e4 Mon Sep 17 00:00:00 2001 From: Matthew Barbour Date: Wed, 26 Jun 2019 23:13:15 -0500 Subject: [PATCH] Make the media admin block look a little nicer --- ext/media/theme.php | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/ext/media/theme.php b/ext/media/theme.php index d2c7755c..12d77f32 100644 --- a/ext/media/theme.php +++ b/ext/media/theme.php @@ -8,13 +8,14 @@ class MediaTheme extends Themelet $html = "Use this to force scanning for media properties."; $html .= make_form(make_link("admin/media_rescan")); - $html .= ""; foreach ($types as $type) { $html .= ""; } - $html .= "
"; - $html .= ""; - $html .= "\n"; + $html .= ""; + $html .= ""; + $html .= "\n"; $page->add_block(new Block("Media Tools", $html)); }