/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%%', ' '/*'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 |
---|
144,7 → 144,7 |
</td> |
</tr> |
</table> |
<table style="width: 100%;" border="0" cellpadding="0" cellspacing="0"> |
<tr> |
<td colspan="5"> |
169,9 → 169,9 |
</td> |
</tr> |
</table> |
<br></div> |
<div id="remote_button"> |
<table width="100%" style="margin-top:20px;"> |
<tr> |
286,7 → 286,7 |
</td> |
</tr> |
</table> |
<table style="width: 100%;" border="0" cellpadding="0" cellspacing="0"> |
<tr> |
<td colspan="5"> |
310,8 → 310,8 |
</object> |
</td> |
</tr> |
</table> |
</table> |
<br><table style="width: 100%;" border="0" cellpadding="0" cellspacing="0"> |
<tr> |
<td colspan="2" width="100%"> |
511,7 → 511,7 |
<p>XML Example:</p> |
<table width="100%" border="0" cellpadding="0" cellspacing="0"> |
<tbody> |
<tr> |
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> |
1016,16 → 1016,16 |
<!-- Taken from the gestion of 2022-11-29_index.htm --> |
<form method="post" action="/cgi-bin/manage" enctype="multipart/form-data"> |
<font size="-1"> |
<input type="checkbox" name="add-defined-value" value="true"> <code>-add-defined-value</code> |
<input type="checkbox" name="add-defined-value" value="true"> <code>-add-defined-value</code> |
<input name="add-defined-value-reference" size="10" type="text" placeholder="-- reference --"> |
<input name="add-defined-value-oid" size="35" type="text" placeholder="-- OID --"> |
<br> |
<input type="checkbox" name="add-illegal-oid" value="true"> <code>-add-illegal-oid</code> |
<input type="checkbox" name="add-illegal-oid" value="true"> <code>-add-illegal-oid</code> |
<input name="add-illegal-oid-oid" size="10" type="text" placeholder="-- OID --"> |
<input name="add-illegal-oid-comment" size="35" type="text" placeholder="-- Comment --"> |
<input name="add-illegal-oid-nb-max" size="2" type="text" placeholder="-- Nb max --"> |
<br> |
<!-- <input type="checkbox" name="add-regression-test" value="true"> <code>-add-regression-test</code> |
<!-- <input type="checkbox" name="add-regression-test" value="true"> <code>-add-regression-test</code> |
<select name="add-regression-test-action"> |
<option value="display">display</option> |
<option value="get-json">get-json</option> |
1034,55 → 1034,55 |
<input name="add-illegal-oid-oid" size="35" type="text" placeholder="-- OID --"> |
<br> --> |
<!-- <input type="checkbox" name="check-acronyms" value="true"> |
<code>-check-acronyms:</code> Nb errors: |
<code>-check-acronyms:</code> Nb errors: |
<input name="check-acronyms-nb-errors" size="4" type="text" value="3"> |
First OID: |
First OID: |
<input name="check-acronyms-first-oid" size="40" type="text"> |
<br> --> |
<br> --> |
<input type="checkbox" name="check-consistency" value="true"> |
<code>-check-consistency</code> |
<input type="checkbox" name="check-consistency-type" value="all">leaf & frozen OIDs<br> |
<!-- <input type="checkbox" name="check-constants" value="true"> |
<code>-check-constants</code> <br> |
<code>-check-constants</code> <br> |
<input type="checkbox" name="check-density" value="true"> |
<code>-check-density</code> <br> --> |
<input type="checkbox" name="check-disk-used" value="true"> |
<code>-check-disk-used:</code> Max size: |
<code>-check-disk-used:</code> Max size: |
<input name="check-disk-used-max-size" size="2" type="text" value="30"> |
(Go) <br> |
<input type="checkbox" name="check-history" value="true"> |
<code>-check-history:</code> Nb max: |
<code>-check-history:</code> Nb max: |
<input name="check-history-nb-max" size="4" type="text" value="500"> |
Nb max changed: |
Nb max changed: |
<input name="check-history-nb-max-changed" size="4" type="text" value="150"> |
<br> |
<!-- <input type="checkbox" name="check-oid" value="true"> |
<code>-check-oid:</code> OID: |
<code>-check-oid:</code> OID: |
<input name="check-oid-oid" size="40" type="text" value=""> |
<br> --> |
<input type="checkbox" name="check-oids" value="true"> |
<code>-check-oids:</code> Nb max: |
<code>-check-oids:</code> Nb max: |
<input name="check-oids-nb-max" size="4" type="text" value="500"> |
Nb errors: |
Nb errors: |
<input name="check-oids-nb-errors" size="4" type="text" value="3"> |
<br> |
<!-- <input type="checkbox" name="check-oid-history" value="true"> |
<code>-check-oid-history:</code> OID: |
<code>-check-oid-history:</code> OID: |
<input name="check-oid-history-oid" size="40" type="text" value=""><br> --> |
<input type="checkbox" name="check-processes" value="true"> |
<code>-check-processes:</code> Max runtime: |
<code>-check-processes:</code> Max runtime: |
<input name="check-processes-max-runtime" size="4" type="text" value="60"> |
(minutes)<br> |
<input type="checkbox" name="check-similarity" value="true"> |
<code>-check-similarity:</code> Nb max: |
<code>-check-similarity:</code> Nb max: |
<input name="check-similarity-nb-max" size="4" type="text" value="500"> |
Nb errors: |
Nb errors: |
<input name="check-similarity-nb-errors" size="4" type="text" value="3"><br> |
<input type="checkbox" name="check-url" value="true"> |
<code>-check-url</code> <input name="check-url-url" size="40" type="text" value=""> |
<br> |
<input type="checkbox" name="delete-url-status" value="true"> |
<code>-delete-url-status</code> |
<code>-delete-url-status</code> |
<input name="delete-url-status-url" size="40" type="text" value="" placeholder="-- URL --"> |
("old" to delete old status)<br> |
<input type="checkbox" name="diff-web-page" value="true"> |
1090,23 → 1090,23 |
<input name="diff-web-page-url" size="40" type="text" value="" placeholder="-- URL --"> |
<input name="diff-web-page-frequency" size="10" type="text" value="1 month" placeholder="-- Frequency --"> (or "delete")<br> |
<input type="checkbox" name="diff-web-pages" value="true"> |
<code>-diff-web-pages</code><br> |
<code>-diff-web-pages</code><br> |
<input type="checkbox" name="email" value="true"> |
<code>-email:</code> To: |
<input name="email-recipients" size="10" type="text"> Title: |
<input name="email-title" size="15" type="text" value="OID repository:"> Body: |
<code>-email:</code> To: |
<input name="email-recipients" size="10" type="text"> Title: |
<input name="email-title" size="15" type="text" value="OID repository:"> Body: |
<input type="text" name="email-message" size="30"><br> |
<!-- <input type="checkbox" name="email-to-admin" value="true"> |
<code>-email-to-admin:</code> Title: |
<input name="email-to-admin-title" size="15" type="text"> Body: |
<code>-email-to-admin:</code> Title: |
<input name="email-to-admin-title" size="15" type="text"> Body: |
<input type="text" name="email-to-admin-body" size="35" value=""><br> --> |
<input type="checkbox" name="reset-oid-checked-last-time" value="true"> |
<code>-reset-oid-checked-last-time</code><br> |
<input type="checkbox" name="check-oids+similarity+reset" value="true"> |
<code><b>-check-oids+similarity+reset</b></code> |
<code><b>-check-oids+similarity+reset</b></code> |
<input type="submit" name="submit" value="Submit"> |
<input type="hidden" name="a" value="execute"> |
</font> |
</font> |
</form> |
<!-- |
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 |
---|
65,7 → 65,7 |
</td> |
</tr> |
</table> |
<table style="width: 100%;" border="0" cellpadding="0" cellspacing="0"> |
<tr> |
<td colspan="5"> |
90,9 → 90,9 |
</td> |
</tr> |
</table> |
<br></div> |
<div id="remote_button"> |
<table width="100%" style="margin-top:20px;"> |
<tr> |
207,7 → 207,7 |
</td> |
</tr> |
</table> |
<table style="width: 100%;" border="0" cellpadding="0" cellspacing="0"> |
<tr> |
<td colspan="5"> |
231,8 → 231,8 |
</object> |
</td> |
</tr> |
</table> |
</table> |
<br><table style="width: 100%;" border="0" cellpadding="0" cellspacing="0"> |
<tr> |
<td colspan="2" width="100%"> |
432,7 → 432,7 |
<p>XML Example:</p> |
<table width="100%" border="0" cellpadding="0" cellspacing="0"> |
<tbody> |
<tr> |
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> |
937,16 → 937,16 |
<!-- Taken from the gestion of 2022-11-29_index.htm --> |
<form method="post" action="/cgi-bin/manage" enctype="multipart/form-data"> |
<font size="-1"> |
<input type="checkbox" name="add-defined-value" value="true"> <code>-add-defined-value</code> |
<input type="checkbox" name="add-defined-value" value="true"> <code>-add-defined-value</code> |
<input name="add-defined-value-reference" size="10" type="text" placeholder="-- reference --"> |
<input name="add-defined-value-oid" size="35" type="text" placeholder="-- OID --"> |
<br> |
<input type="checkbox" name="add-illegal-oid" value="true"> <code>-add-illegal-oid</code> |
<input type="checkbox" name="add-illegal-oid" value="true"> <code>-add-illegal-oid</code> |
<input name="add-illegal-oid-oid" size="10" type="text" placeholder="-- OID --"> |
<input name="add-illegal-oid-comment" size="35" type="text" placeholder="-- Comment --"> |
<input name="add-illegal-oid-nb-max" size="2" type="text" placeholder="-- Nb max --"> |
<br> |
<!-- <input type="checkbox" name="add-regression-test" value="true"> <code>-add-regression-test</code> |
<!-- <input type="checkbox" name="add-regression-test" value="true"> <code>-add-regression-test</code> |
<select name="add-regression-test-action"> |
<option value="display">display</option> |
<option value="get-json">get-json</option> |
955,55 → 955,55 |
<input name="add-illegal-oid-oid" size="35" type="text" placeholder="-- OID --"> |
<br> --> |
<!-- <input type="checkbox" name="check-acronyms" value="true"> |
<code>-check-acronyms:</code> Nb errors: |
<code>-check-acronyms:</code> Nb errors: |
<input name="check-acronyms-nb-errors" size="4" type="text" value="3"> |
First OID: |
First OID: |
<input name="check-acronyms-first-oid" size="40" type="text"> |
<br> --> |
<br> --> |
<input type="checkbox" name="check-consistency" value="true"> |
<code>-check-consistency</code> |
<input type="checkbox" name="check-consistency-type" value="all">leaf & frozen OIDs<br> |
<!-- <input type="checkbox" name="check-constants" value="true"> |
<code>-check-constants</code> <br> |
<code>-check-constants</code> <br> |
<input type="checkbox" name="check-density" value="true"> |
<code>-check-density</code> <br> --> |
<input type="checkbox" name="check-disk-used" value="true"> |
<code>-check-disk-used:</code> Max size: |
<code>-check-disk-used:</code> Max size: |
<input name="check-disk-used-max-size" size="2" type="text" value="30"> |
(Go) <br> |
<input type="checkbox" name="check-history" value="true"> |
<code>-check-history:</code> Nb max: |
<code>-check-history:</code> Nb max: |
<input name="check-history-nb-max" size="4" type="text" value="500"> |
Nb max changed: |
Nb max changed: |
<input name="check-history-nb-max-changed" size="4" type="text" value="150"> |
<br> |
<!-- <input type="checkbox" name="check-oid" value="true"> |
<code>-check-oid:</code> OID: |
<code>-check-oid:</code> OID: |
<input name="check-oid-oid" size="40" type="text" value=""> |
<br> --> |
<input type="checkbox" name="check-oids" value="true"> |
<code>-check-oids:</code> Nb max: |
<code>-check-oids:</code> Nb max: |
<input name="check-oids-nb-max" size="4" type="text" value="500"> |
Nb errors: |
Nb errors: |
<input name="check-oids-nb-errors" size="4" type="text" value="3"> |
<br> |
<!-- <input type="checkbox" name="check-oid-history" value="true"> |
<code>-check-oid-history:</code> OID: |
<code>-check-oid-history:</code> OID: |
<input name="check-oid-history-oid" size="40" type="text" value=""><br> --> |
<input type="checkbox" name="check-processes" value="true"> |
<code>-check-processes:</code> Max runtime: |
<code>-check-processes:</code> Max runtime: |
<input name="check-processes-max-runtime" size="4" type="text" value="60"> |
(minutes)<br> |
<input type="checkbox" name="check-similarity" value="true"> |
<code>-check-similarity:</code> Nb max: |
<code>-check-similarity:</code> Nb max: |
<input name="check-similarity-nb-max" size="4" type="text" value="500"> |
Nb errors: |
Nb errors: |
<input name="check-similarity-nb-errors" size="4" type="text" value="3"><br> |
<input type="checkbox" name="check-url" value="true"> |
<code>-check-url</code> <input name="check-url-url" size="40" type="text" value=""> |
<br> |
<input type="checkbox" name="delete-url-status" value="true"> |
<code>-delete-url-status</code> |
<code>-delete-url-status</code> |
<input name="delete-url-status-url" size="40" type="text" value="" placeholder="-- URL --"> |
("old" to delete old status)<br> |
<input type="checkbox" name="diff-web-page" value="true"> |
1011,23 → 1011,23 |
<input name="diff-web-page-url" size="40" type="text" value="" placeholder="-- URL --"> |
<input name="diff-web-page-frequency" size="10" type="text" value="1 month" placeholder="-- Frequency --"> (or "delete")<br> |
<input type="checkbox" name="diff-web-pages" value="true"> |
<code>-diff-web-pages</code><br> |
<code>-diff-web-pages</code><br> |
<input type="checkbox" name="email" value="true"> |
<code>-email:</code> To: |
<input name="email-recipients" size="10" type="text"> Title: |
<input name="email-title" size="15" type="text" value="OID repository:"> Body: |
<code>-email:</code> To: |
<input name="email-recipients" size="10" type="text"> Title: |
<input name="email-title" size="15" type="text" value="OID repository:"> Body: |
<input type="text" name="email-message" size="30"><br> |
<!-- <input type="checkbox" name="email-to-admin" value="true"> |
<code>-email-to-admin:</code> Title: |
<input name="email-to-admin-title" size="15" type="text"> Body: |
<code>-email-to-admin:</code> Title: |
<input name="email-to-admin-title" size="15" type="text"> Body: |
<input type="text" name="email-to-admin-body" size="35" value=""><br> --> |
<input type="checkbox" name="reset-oid-checked-last-time" value="true"> |
<code>-reset-oid-checked-last-time</code><br> |
<input type="checkbox" name="check-oids+similarity+reset" value="true"> |
<code><b>-check-oids+similarity+reset</b></code> |
<code><b>-check-oids+similarity+reset</b></code> |
<input type="submit" name="submit" value="Submit"> |
<input type="hidden" name="a" value="execute"> |
</font> |
</font> |
</form> |
<!-- |
/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> |