* (bug 3175) update filenames in documentation files
authorBrion Vibber <brion@users.mediawiki.org>
Wed, 17 Aug 2005 19:48:24 +0000 (19:48 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Wed, 17 Aug 2005 19:48:24 +0000 (19:48 +0000)
commit380f4da60040ccf2fb5df6bb6ad58bad1bca9a9b
treec24d75be258d693aaddc3b660db2deb462717292
parenta1e3699a720362b2c0bb59d1e874c8aa63d5f67d
* (bug 3175) update filenames in documentation files
docs/deferred.txt
docs/globals.txt
docs/hooks.txt
docs/language.txt
docs/linkcache.txt
docs/skin.txt
docs/title.txt
docs/user.txt