/**
* 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();
* @return ApiPageSet
*/
private function getPageSet() {
- if ( !isset( $this->mPageSet ) ) {
+ if ( $this->mPageSet === null ) {
$this->mPageSet = new ApiPageSet( $this );
}