Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update SizeSelector schema #1611

Merged
merged 25 commits into from
Jun 16, 2021
Merged

Update SizeSelector schema #1611

Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
fe38a90
Merge remote-tracking branch 'upstream/master'
jawira Feb 11, 2019
974a2f1
Merge remote-tracking branch 'upstream/master'
jawira Jul 1, 2019
c3b1e48
Merge remote-tracking branch 'upstream/master'
jawira Jul 12, 2019
32e4914
Merge remote-tracking branch 'upstream/master'
jawira Jul 26, 2019
275cc96
Merge remote-tracking branch 'upstream/master'
jawira Oct 23, 2019
4de09d3
ComposerTask: update code & doc #1163
jawira Oct 23, 2019
64aefbf
Merge branch 'master' of github.com:jawira/fork-phing
jawira Nov 19, 2019
d769c90
Merge remote-tracking branch 'upstream/master'
jawira Nov 19, 2019
9d8da67
Merge remote-tracking branch 'upstream/master'
jawira Aug 8, 2020
2549e00
Merge remote-tracking branch 'upstream/master'
jawira Sep 5, 2020
b57b6da
Merge remote-tracking branch 'upstream/master'
jawira Sep 29, 2020
ec4ab93
Merge remote-tracking branch 'upstream/master'
jawira Oct 17, 2020
8f5343c
Merge remote-tracking branch 'upstream/master'
jawira Oct 29, 2020
d098a0f
Merge remote-tracking branch 'upstream/master'
jawira Dec 14, 2020
c7bcabf
Merge remote-tracking branch 'upstream/master'
jawira Dec 19, 2020
919e771
Merge remote-tracking branch 'upstream/main' into main
jawira Feb 2, 2021
424a754
Merge remote-tracking branch 'upstream/main'
jawira Mar 9, 2021
f79dc57
Merge remote-tracking branch 'upstream/main'
jawira Mar 16, 2021
12c46e9
Merge remote-tracking branch 'upstream/main' into main
jawira Apr 19, 2021
605d358
Merge remote-tracking branch 'upstream/main' into main
jawira Apr 26, 2021
342c9ac
Merge remote-tracking branch 'upstream/main' into main
jawira May 4, 2021
8451ae1
Merge remote-tracking branch 'upstream/main' into main
jawira May 16, 2021
bd5938e
Merge remote-tracking branch 'upstream/main' into main
jawira Jun 12, 2021
23e50d0
Update SizeSelector schema
jawira Jun 12, 2021
807d288
Merge branch 'main' into update-rng
siad007 Jun 16, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 1 addition & 15 deletions etc/phing-grammar.rng
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -618,20 +618,6 @@
<element name="size">
<interleave>
<attribute name="value"/>
<optional>
<attribute name="units" a:default-value="b">
<choice>
<value>b</value>
<value>k</value>
<value>M</value>
<value>G</value>
<value>Bi</value>
<value>Ki</value>
<value>Mi</value>
<value>Gi</value>
</choice>
</attribute>
</optional>
<optional>
<attribute name="when" a:default-value="equal">
<choice>
Expand Down Expand Up @@ -7206,7 +7192,7 @@
</zeroOrMore>
</element>
</define>


<!--
=========================================
Expand Down