Manuel:UserOptions.inc
 | Cette fonctionnalité a été supprimée entièrement dans la version 1.31. |
| Fichier MediaWiki : userOptions.inc | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| Classes : | UserOptions |
userOptions.inc est un fichier d'aide pour le fichier userOptions.php.