Merge branch 'maint'

This commit is contained in:
Lukas Fleischer 2013-01-19 12:21:26 +01:00
commit 49e6184508
5 changed files with 9 additions and 7 deletions

View file

@ -303,8 +303,6 @@ function html_header($title="", $details=array()) {
global $LANG;
global $SUPPORTED_LANGS;
$title = htmlspecialchars($title, ENT_QUOTES);
include('header.php');
return;
}