diff --git a/pmd_common.php b/pmd_common.php index bb376fa9d..8d6ee8963 100644 --- a/pmd_common.php +++ b/pmd_common.php @@ -239,11 +239,13 @@ function get_script_tabs() $script_tabs = '' . "\n";