Per Aaron, follow-up r96859: add @deprecated comment, a wfDeprecated() and mark it for removal in next version since it's not used anywhere

This commit is contained in:
Alexandre Emsenhuber 2011-09-29 15:21:54 +00:00
parent cb3a99fd8a
commit 1e94b1be89

View file

@ -137,7 +137,9 @@ class ParserOptions {
function setNumberHeadings( $x ) { return wfSetVar( $this->mNumberHeadings, $x ); }
function setAllowSpecialInclusion( $x ) { return wfSetVar( $this->mAllowSpecialInclusion, $x ); }
function setTidy( $x ) { return wfSetVar( $this->mTidy, $x ); }
function setSkin( $x ) {}
/** @deprecated in 1.19; will be removed in 1.20 */
function setSkin( $x ) { wfDeprecated( __METHOD__ ); }
function setInterfaceMessage( $x ) { return wfSetVar( $this->mInterfaceMessage, $x ); }
function setTargetLanguage( $x ) { return wfSetVar( $this->mTargetLanguage, $x, true ); }
function setMaxIncludeSize( $x ) { return wfSetVar( $this->mMaxIncludeSize, $x ); }