MediaWiki:PageNumbers.js

/* */

/** *              !!! THIS SCRIPT IS NO LONGER IN USE !!! * * It is being retained, for now, for historical purposes, but has not been * updated for recent technological changes. It is unlikely to work. * For the replacement, see MediaWiki:Gadget-PageNumbers.js. * */