From a408a25266461660274aaad774f64e521b4d0514 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Tue, 23 Aug 2005 21:47:44 +0000 Subject: [PATCH] fix 3175 --- docs/design.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/design.txt b/docs/design.txt index 2b0bf4cb32..5fff9fd0ff 100644 --- a/docs/design.txt +++ b/docs/design.txt @@ -22,7 +22,7 @@ Primary source files/objects: Can be queried for things like the user's settings, name, etc. Handles the details of getting and saving to the "user" table of the database, and dealing with sessions and cookies. - More details in USER.DOC. + More details in USER.TXT. OutputPage Encapsulates the entire HTML page that will be sent in @@ -64,7 +64,7 @@ Primary source files/objects: A global one is allocated in $wgLang. LinkCache - Keeps information on existence of articles. See LINKCACHE.DOC. + Keeps information on existence of articles. See LINKCACHE.TXT. Naming/coding conventions: -- 2.20.1