/usr/share/moodle/theme/skolelinux/header.html is in moodle-debian-edu-theme 1.0.3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49  | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html<?php echo $direction ?>>
<head>
    <?php echo $meta ?>
    <meta name="keywords" content="moodle, <?php echo $title ?> " />
    <title><?php echo $title ?></title>
    <link rel="shortcut icon" href="<?php echo "$CFG->wwwroot/theme/$CFG->theme" ?>/favicon.ico" />
    <?php include("$CFG->javascript"); ?>
</head>
<body<?php
    echo " $bodytags";
    if ($focus) {
        echo " onload=\"setfocus()\"";
    }
    ?>>
    
<div id="page">
    <div id="header-logo">
      <a href="<?php echo "$CFG->wwwroot" ?>"><img src="<?php echo "$CFG->wwwroot/theme/$CFG->theme" ?>/pix/logo_skolelinux.png" 
        alt="logo_skolelinux_top" title="" /></a><img src="<?php echo "$CFG->wwwroot/theme/$CFG->theme" ?>/pix/logo_skolelinux_banniere.png" 
        alt="banniere_skolelinux" />
    </div>
    <div class="clearer"> </div>
<?php if ($home) {  // This is what gets printed on the home page only  
?>
    <div id="header-home">
        <div class="headermain"><?php //echo $heading ?></div>
        <div class="headermenu"><?php echo $menu ?></div>
    </div>
<?php } else if ($heading) {  // This is what gets printed on any other page with a heading 
?>
    <div id="header">
        <div class="headermain"><?php //echo $heading ?></div>
        <div class="headermenu"><?php echo $menu ?></div>
    </div>
<?php } ?>
    <div class="clearer"> </div>
<?php if ($navigation) { // This is the navigation table with breadcrumbs  ?>
    <table class="navbar"><tr><td>
        <div class="breadcrumb"><?php print_navigation($navigation); ?></div>
        <div class="navbutton"><?php echo $button; ?></div>
    </td></tr></table>
<?php } else if ($heading) { // If no navigation, but a heading, then print a line  
?>
<?php } ?>
    <!-- END OF HEADER -->
    <div id="content">
   
 |