resourceloader: Remove ResourceLoaderModule::getPosition
authorUmherirrender <umherirrender_de.wp@web.de>
Mon, 12 Feb 2018 21:06:05 +0000 (22:06 +0100)
committerKrinkle <krinklemail@gmail.com>
Wed, 14 Feb 2018 23:50:09 +0000 (23:50 +0000)
commit09cfb1269a9ba2bfdbb775b8ba717d9e64e2f21c
tree2f7e108211eca6be695ece668d2d31a507ebc66b
parentc2adecb31b16a36efdb509a575533c7f103a0576
resourceloader: Remove ResourceLoaderModule::getPosition

@deprecated since 1.29

Bug: T184257
Change-Id: I1a59a1f0a5fbedfea9f0b28bee8c298710557a8d
RELEASE-NOTES-1.31
includes/OutputPage.php
includes/resourceloader/ResourceLoaderModule.php