Add type hinting for WikiPage::onArticleEdit, etc
authorgladoscc <admin@glados.cc>
Thu, 1 Jan 2015 10:49:05 +0000 (21:49 +1100)
committerUmherirrender <umherirrender_de.wp@web.de>
Wed, 7 Jan 2015 18:55:28 +0000 (18:55 +0000)
commitf652b4b7a99c560e1e7b5cba7401b182b7996fb4
tree1848570892eae29af3ebc4f8956858365e2a00f9
parent5fde727a92c0ed539c5ba927642f9cb564c5d4ec
Add type hinting for WikiPage::onArticleEdit, etc

Type hinting will catch false & null as specified in the todo.

Change-Id: I64fade3a7aa5e15323dc63a13d84d969d0b942b3
includes/page/WikiPage.php