Membres du conseil d'administration, Bureaucrates, Dirigeants, Administrateurs (MediaWiki Sémantique), Administrateurs
49 856
modifications
« Accueil » : différence entre les versions
aucun résumé des modifications
m (Correction JS) Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 11 : | Ligne 11 : | ||
<script type="text/javascript"> | <script type="text/javascript"> | ||
inlineJS[' | inlineJS['searchBox'] = function() { | ||
mw.loader. | mw.loader.load(['jquery', 'oojs-ui-core', 'oojs-ui-widgets' , 'jquery.highlightText', 'suggestions', 'mediawiki.searchSuggest', 'mediawiki.special.search', 'mediawiki.widgets.SearchInputWidget']); }; | ||
</script> | </script> | ||
</html> | </html> | ||