From 3290e7b3cc7b33287ec380d4b0af5c37aa1fad10 Mon Sep 17 00:00:00 2001
From: Lucas Werkmeister <lucas.werkmeister@wikimedia.de>
Date: Mon, 4 Mar 2019 17:49:42 +0100
Subject: [PATCH] Remove outdated reference to design.txt
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

docs/design.txt was removed half a year ago in change I85be15a68f
(commit 6760216e10), and was long outdated even then, so let’s stop
pointing people at it.

Change-Id: I165ff1e12fb79c480930289d25833992be61b891
---
 includes/page/Article.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/includes/page/Article.php b/includes/page/Article.php
index 983f06986e..6f3162dc5c 100644
--- a/includes/page/Article.php
+++ b/includes/page/Article.php
@@ -31,7 +31,6 @@ use MediaWiki\Revision\SlotRecord;
  *
  * @todo Move and rewrite code to an Action class
  *
- * See design.txt for an overview.
  * Note: edit user interface and cache support functions have been
  * moved to separate EditPage and HTMLFileCache classes.
  */
-- 
2.20.1