Manual:userOptions.inc
| この機能は、バージョン 1.31 で完全に除去されました。 |
| MediaWiki ファイル: userOptions.inc | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| クラス: | UserOptions |
userOptions.inc は、userOptions.php ファイルのヘルパー ファイルです。
| この機能は、バージョン 1.31 で完全に除去されました。 |
| MediaWiki ファイル: userOptions.inc | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| クラス: | UserOptions |
userOptions.inc は、userOptions.php ファイルのヘルパー ファイルです。