/**
* 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
*/
class ApiSetNotificationTimestamp extends ApiBase {
- private $mPageSet;
+ private $mPageSet = null;
public function execute() {
$user = $this->getUser();
);
// 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();
* @return ApiPageSet
*/
private function getPageSet() {
- if ( !isset( $this->mPageSet ) ) {
+ if ( $this->mPageSet === null ) {
$this->mPageSet = new ApiPageSet( $this );
}