<?php
/**
- * API for MediaWiki 1.14+
- *
- * Created on Sep 2, 2008
- *
- * Copyright © 2008 Chad Horohoe
- *
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* @ingroup API
*/
class ApiPurge extends ApiBase {
- private $mPageSet;
+ private $mPageSet = null;
/**
* Purges the cache of a page
* @return ApiPageSet
*/
private function getPageSet() {
- if ( !isset( $this->mPageSet ) ) {
+ if ( $this->mPageSet === null ) {
$this->mPageSet = new ApiPageSet( $this );
}