Remove unused $resourceLoader
authoraddshore <addshorewiki@gmail.com>
Thu, 19 Jan 2017 20:51:22 +0000 (20:51 +0000)
committeraddshore <addshorewiki@gmail.com>
Thu, 19 Jan 2017 20:51:22 +0000 (20:51 +0000)
commit641d24b3b6c465541df033ea46fe4ffa1651751f
treebc1c0165197b21d7b0a9a8eee524c4c549a64982
parentc186988a83c405b7da5e2607d15dd6d535a16550
Remove unused $resourceLoader

Change-Id: I6b5aebe2c6221ee101ec3bc4c84eafd9aeb7b0e2
includes/OutputPage.php