Remove unused variable in ProfilerMwprof
[mediawiki.git] / includes / page / 
tree2eeff1d96f075037b68e99453c1324e0ad3aa4b2
drwxr-xr-x   ..
-rw-r--r-- 66838 Article.php
-rw-r--r-- 3403 CategoryPage.php
-rw-r--r-- 49104 ImagePage.php
-rw-r--r-- 1439 WikiCategoryPage.php
-rw-r--r-- 5730 WikiFilePage.php
-rw-r--r-- 110109 WikiPage.php