--- a/delinquent_files/shared.inc Mon Jan 23 21:39:43 2023 +0100
+++ b/delinquent_files/shared.inc Mon Jan 23 21:42:29 2023 +0100
@@ -1,5 +1,9 @@
<?PHP
+##
+## $Id$
+##
+
# Wikipedia bot components
require_once ( __DIR__.'/vendor/mediawiki-api/vendor/autoload.php' ) ;
