MediaWiki:Common.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt |
Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung |
||
| Zeile 1: | Zeile 1: | ||
/* Das folgende JavaScript wird für alle Benutzer geladen. */ | /* Das folgende JavaScript wird für alle Benutzer geladen. */ | ||
document.getElementById('searchInput').placeholder = 'Suchen'; | document.getElementById('searchInput').placeholder = 'Suchen'; | ||
Version vom 3. Mai 2023, 16:16 Uhr
/* Das folgende JavaScript wird für alle Benutzer geladen. */
document.getElementById('searchInput').placeholder = 'Suchen';