This file is indexed.

/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">&nbsp;</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">&nbsp;</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">