Remove outdated reference to design.txt
authorLucas Werkmeister <lucas.werkmeister@wikimedia.de>
Mon, 4 Mar 2019 16:49:42 +0000 (17:49 +0100)
committerLucas Werkmeister <lucas.werkmeister@wikimedia.de>
Mon, 4 Mar 2019 16:49:42 +0000 (17:49 +0100)
commit3290e7b3cc7b33287ec380d4b0af5c37aa1fad10
tree60804fc09d015077e06f91ce83584b025a5c7909
parent56755808641887a79f9caf28024c17e1b389d17a
Remove outdated reference to design.txt

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