/**
* API for MediaWiki 1.14+
*
- * Created on Jun 18, 2012
- *
* Copyright © 2012 Wikimedia Foundation and contributors
*
* This program is free software; you can redistribute it and/or modify
);
// Now, put the valid titles into the result
- /** @var $title Title */
+ /** @var Title $title */
foreach ( $pageSet->getTitles() as $title ) {
$ns = $title->getNamespace();
$dbkey = $title->getDBkey();