toolkit/chrome/global/datetimebox.dtd
author Francesco Lodolo (:flod) <flod@lodolo.net>
Tue, 17 May 2022 15:42:15 +0200
changeset 210 2889c3d8cca1919f4784e3f32381095ee5e8e692
parent 209 362c3f745dc3d3963fd36350dfd76e7b21fda52f
permissions -rw-r--r--
Remove obsolete files (region.properties, bookmarks.inc)

<!-- This Source Code Form is subject to the terms of the Mozilla Public
   - License, v. 2.0. If a copy of the MPL was not distributed with this
   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->

<!-- Placeholders for input type=time -->


<!ENTITY time.hour.placeholder "--">
<!ENTITY time.minute.placeholder "--">
<!ENTITY time.second.placeholder "--">
<!ENTITY time.millisecond.placeholder "--">
<!ENTITY time.dayperiod.placeholder "--">

<!-- Field labels for input type=time -->


<!ENTITY time.hour.label "Hores">
<!ENTITY time.minute.label "Minuts">
<!ENTITY time.second.label "Segons">
<!ENTITY time.millisecond.label "Mil┬Ělisegons">
<!ENTITY time.dayperiod.label "AM/PM">

<!-- Placeholders for input type=date -->


<!ENTITY date.year.placeholder "aaaa">
<!ENTITY date.month.placeholder "mm">
<!ENTITY date.day.placeholder "dd">

<!-- Field labels for input type=date -->


<!ENTITY date.year.label "Any">
<!ENTITY date.month.label "Mes">
<!ENTITY date.day.label "Dia">

<!-- Date/time clear button -->


<!ENTITY datetime.reset.label "Neteja">