This file is indexed.

/usr/share/pyshared/schooltool/devmode/devmode.pt is in python-schooltool 1:2.1.0-0ubuntu1.

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
<div class="devtools"
     i18n:domain="schooltool">

  <div class="header" style="clear: both">
    <a href="javascript:switchDisplay('devtools')"
       style="text-decoration: none">
      <img src="/@@/harrow.png" border="0" id=".arrow"
           style="vertical-align: middle"
           alt="(>)"
           tal:attributes="id string:devtools.arrow" />
      <h4 i18n:translate="">Developer Tools</h4>
    </a>
  </div>

  <div id="devtools" style="display:none;">
    <div class="body">
      <a href="/++etc++site/default/RootErrorReportingUtility" i18n:translate="">Errors</a>
      <a href="@@introspector.html" i18n:translate="">Introspector</a>
      <a href="/++apidoc++/@@index.html" i18n:translate="">API Docs</a>
      <a href="/@@sampledata.html" i18n:translate="">Sample data</a>
    </div>
  </div>

</div>