Remove renamed .inc files from phan config
authorUmherirrender <umherirrender_de.wp@web.de>
Thu, 31 May 2018 16:44:51 +0000 (18:44 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Thu, 31 May 2018 16:44:51 +0000 (18:44 +0200)
commit0123e91fc2da1a4de8b4ef4fa1044eda1bc35fb3
tree665eec2329b19b65fe62775853e7fceb3f1a953b
parenta930bf7d7b071c0b47f8ea938af1a7de5beb8fb9
Remove renamed .inc files from phan config

Follow-Up: Ic441087702376b1ca0e70554c71cdf7ecad908af (for userOptions.inc)
Follow-Up: I999f5842625c752f01c1eb4b012431c4a24ce7ce (for importImages.inc)
Change-Id: I3e1c694f61960e9e4b50a7855927d039e93928fb
tests/phan/config.php