Subversion Repositories oidinfo_new_design

Compare Revisions

Regard whitespace Rev 32 → Rev 33

/trunk/__template_end.htm
12,13 → 12,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
%%MODIFICATION_DATE%%
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/advanced-search.htm
635,13 → 635,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
28 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/basic-search.htm
217,13 → 217,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/captured-standards.htm
7221,13 → 7221,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/country_codes.htm
2368,13 → 2368,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
24 Mar 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/country_oids.htm
1133,13 → 1133,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
28 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/daniel_internal/OID-Info 2.0 Design.docx
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/trunk/daniel_internal/OID-Info 2.0 Design.pdf
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/trunk/daniel_internal/regenerate_static_pages.xphp
5,7 → 5,6
// taking the template and inserting following data:
// - Replace %%CONTENT%% with content
// - Replace %%TITLE%% with the title
// - Replace %%MODIFICATION_DATE%% with the modification date of the raw content file
 
// -----------------------------------------------------------------------------
 
93,7 → 92,6
// Replace template strings
$cont = str_replace('%%CONTENT%%', file_get_contents($input_file), $cont);
$cont = str_replace('%%TITLE%%', $title, $cont);
$cont = str_replace('%%MODIFICATION_DATE%%', date('d M Y', filemtime($input_file)), $cont);
if ($output_file == __DIR__ . '/../' . 'index.htm') {
$cont = str_replace('%%FOOTER_TEXT%%', '&nbsp;'/*'This site is sponsored by <a href="https://www.orange.com">Orange S.A.</a>'*/, $cont);
} else {
/trunk/density.htm
1821,13 → 1821,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/disclaimer.htm
239,13 → 239,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/display-example.htm
139,13 → 139,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/doc/index.htm
113,13 → 113,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/200.htm
111,13 → 111,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/302.htm
111,13 → 111,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/304.htm
111,13 → 111,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/400.htm
127,13 → 127,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/401.htm
111,13 → 111,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/403-404.htm
113,13 → 113,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
15 Apr 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/500.htm
114,13 → 114,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
15 Apr 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/501.htm
111,13 → 111,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/502.htm
111,13 → 111,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/errors/503.htm
111,13 → 111,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
14 Nov 2021
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/faq.htm
1145,13 → 1145,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
30 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/gestion/index.htm
962,7 → 962,7
<option>Nov</option>
<option>Dec</option>
</select>
<input name="cookie-year" size="4" value="2015" type="text"><input name="submit" value="Set cookie" type="submit"><span style="font-familly:Arial, Helvetica, sans-serif; font-size:2;">
<input name="cookie-year" size="4" value="2023" type="text"><input name="submit" value="Set cookie" type="submit"><span style="font-familly:Arial, Helvetica, sans-serif; font-size:2;">
<input name="action" value="set_admin_cookie" type="hidden"></span>
</form>
</td>
1218,13 → 1218,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
03 Dec 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/gestion/index.raw.htm
883,7 → 883,7
<option>Nov</option>
<option>Dec</option>
</select>
<input name="cookie-year" size="4" value="2015" type="text"><input name="submit" value="Set cookie" type="submit"><span style="font-familly:Arial, Helvetica, sans-serif; font-size:2;">
<input name="cookie-year" size="4" value="2023" type="text"><input name="submit" value="Set cookie" type="submit"><span style="font-familly:Arial, Helvetica, sans-serif; font-size:2;">
<input name="action" value="set_admin_cookie" type="hidden"></span>
</form>
</td>
/trunk/gestion/replace.htm
898,13 → 898,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
04 Dec 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/getting-an-oid-in-xml.htm
326,13 → 326,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/index.htm
676,13 → 676,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
25 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/introduction.htm
358,13 → 358,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/name-forms.htm
347,13 → 347,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
19 Mar 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/regexp.htm
250,13 → 250,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/registrant-account-charter.htm
186,13 → 186,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
15 Apr 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/standards.htm
492,13 → 492,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
/trunk/style.css
654,7 → 654,9
}
 
input[type=text] {
width: 50%;
/* DM 02.04.2023 */
/*width: 50%;*/
max-width: 90vw; /* 90% viewport width */
}
/* wrapper styles */
.wrapper {
/trunk/submit.htm
293,13 → 293,12
<td width="10" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
<td width="78" align="center">
<font size="-2">
<!--<script language="JavaScript">
<script language="JavaScript">
d=new Date(document.lastModified)
month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
27 Nov 2022
</script>
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>