title: Remove misplaced documentation from TitleParser
authorThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Tue, 7 May 2019 15:07:47 +0000 (17:07 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Thu, 9 May 2019 16:00:42 +0000 (16:00 +0000)
commit1fcc6632da767edfb9035b0eecc80a2413a77bb3
tree787d1a139ab2863053a411f541e29e997a12c66a
parentd54d79510636b2a7f1471a3789a5a3ec981f3ad0
title: Remove misplaced documentation from TitleParser

There is no $form.

Change-Id: I1468f8dbaceaa78e12d7c23170ceba1fbb2b129e
includes/title/MediaWikiTitleCodec.php
includes/title/TitleParser.php