Per Aaron, follow-up r96859: add @deprecated comment, a wfDeprecated() and mark it...

diff --git a/includes/parser/ParserOptions.php b/includes/parser/ParserOptions.php
index eceef69..d462df5 100644 (file)
--- a/includes/parser/ParserOptions.php
+++ b/includes/parser/ParserOptions.php
@@ -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 ); }