/trunk/__template_end.htm |
---|
12,12 → 12,13 |
<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> |
</script>--> |
%%MODIFICATION_DATE%% |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/advanced-search.htm |
---|
635,12 → 635,13 |
<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> |
</script>--> |
28 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/basic-search.htm |
---|
217,12 → 217,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/captured-standards.htm |
---|
7221,12 → 7221,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/country_codes.htm |
---|
2368,12 → 2368,13 |
<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> |
</script>--> |
24 Mar 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/country_oids.htm |
---|
1133,12 → 1133,13 |
<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> |
</script>--> |
28 Nov 2022 |
</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,6 → 5,7 |
// 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 |
// ----------------------------------------------------------------------------- |
92,6 → 93,7 |
// 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%%', ' '/*'This site is sponsored by <a href="https://www.orange.com">Orange S.A.</a>'*/, $cont); |
} else { |
/trunk/density.htm |
---|
1821,12 → 1821,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/disclaimer.htm |
---|
239,12 → 239,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/display-example.htm |
---|
139,12 → 139,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/doc/index.htm |
---|
113,12 → 113,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/200.htm |
---|
111,12 → 111,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/302.htm |
---|
111,12 → 111,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/304.htm |
---|
111,12 → 111,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/400.htm |
---|
127,12 → 127,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/401.htm |
---|
111,12 → 111,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/403-404.htm |
---|
113,12 → 113,13 |
<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> |
</script>--> |
15 Apr 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/500.htm |
---|
114,12 → 114,13 |
<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> |
</script>--> |
15 Apr 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/501.htm |
---|
111,12 → 111,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/502.htm |
---|
111,12 → 111,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/errors/503.htm |
---|
111,12 → 111,13 |
<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> |
</script>--> |
14 Nov 2021 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/faq.htm |
---|
1145,12 → 1145,13 |
<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> |
</script>--> |
30 Nov 2022 |
</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="2023" 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="2015" 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,12 → 1218,13 |
<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> |
</script>--> |
03 Dec 2022 |
</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="2023" 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="2015" 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,12 → 898,13 |
<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> |
</script>--> |
04 Dec 2022 |
</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,12 → 326,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/index.htm |
---|
676,12 → 676,13 |
<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> |
</script>--> |
25 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/introduction.htm |
---|
358,12 → 358,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/name-forms.htm |
---|
347,12 → 347,13 |
<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> |
</script>--> |
19 Mar 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/regexp.htm |
---|
250,12 → 250,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/registrant-account-charter.htm |
---|
186,12 → 186,13 |
<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> |
</script>--> |
15 Apr 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/standards.htm |
---|
492,12 → 492,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
/trunk/style.css |
---|
654,9 → 654,7 |
} |
input[type=text] { |
/* DM 02.04.2023 */ |
/*width: 50%;*/ |
max-width: 90vw; /* 90% viewport width */ |
width: 50%; |
} |
/* wrapper styles */ |
.wrapper { |
/trunk/submit.htm |
---|
293,12 → 293,13 |
<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> |
</script>--> |
27 Nov 2022 |
</font> |
</td> |
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |