Remove unused private field in MagicWordArray
authorjeroendedauw <jeroendedauw@gmail.com>
Mon, 7 Sep 2015 19:45:36 +0000 (21:45 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Thu, 10 Sep 2015 19:16:17 +0000 (19:16 +0000)
Change-Id: Ib7a0c2834314e9c8db442956230d389e51dbb256

includes/MagicWord.php

index 186821d..833f852 100644 (file)
@@ -718,9 +718,6 @@ class MagicWordArray {
 
        private $regex;
 
-       /** @todo Unused? */
-       private $matches;
-
        /**
         * @param array $names
         */