1:ab6634389318 | 2:cd58c0bc21d6 |
---|---|
1 <?PHP | 1 <?PHP |
2 | |
3 ## | |
4 ## $Id$ | |
5 ## | |
2 | 6 |
3 # Wikipedia bot components | 7 # Wikipedia bot components |
4 require_once ( __DIR__.'/vendor/mediawiki-api/vendor/autoload.php' ) ; | 8 require_once ( __DIR__.'/vendor/mediawiki-api/vendor/autoload.php' ) ; |
5 | 9 |
6 # "the usual" tools routines, mostly database opening ones; these should probably be replaced by local ones! | 10 # "the usual" tools routines, mostly database opening ones; these should probably be replaced by local ones! |