diff options
| author | gladoscc <admin@glados.cc> | 2015-01-01 21:49:05 +1100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2015-01-07 18:55:28 +0000 |
| commit | f652b4b7a99c560e1e7b5cba7401b182b7996fb4 (patch) | |
| tree | 1848570892eae29af3ebc4f8956858365e2a00f9 /autoload.php | |
| parent | 5fde727a92c0ed539c5ba927642f9cb564c5d4ec (diff) | |
| download | mediawikicore-f652b4b7a99c560e1e7b5cba7401b182b7996fb4.tar.gz mediawikicore-f652b4b7a99c560e1e7b5cba7401b182b7996fb4.zip | |
Add type hinting for WikiPage::onArticleEdit, etc
Type hinting will catch false & null as specified in the todo.
Change-Id: I64fade3a7aa5e15323dc63a13d84d969d0b942b3
Diffstat (limited to 'autoload.php')
0 files changed, 0 insertions, 0 deletions